4 ms·
I hope in 20 years we look back and say 'duh, of course'. And yeah, it would be so cool.
by jaekwon 16y ago
I hope in 20 years we look back and say 'duh, of course'. And yeah, it would be so cool.
- thesz 16y agoI feel like I should introduce you to Agda2: http://wiki.portal.chalmers.se/agda/pmwiki.php http://wiki.portal.chalmers.se/agda/pmwiki.php You write something, Agda2 checks it and says that you forget something, you wrote an inconsistent code or you wrote ambiguous code (it is possible to hide some parts of code).