3 ms·
Take a look at Agda (http://wiki.portal.chalmers.se/agda/pmwiki.php http://wiki.portal.chalmers.se/agda/pmwiki.php) and tell me if you could "learn it in a week
by Peaker 15y ago
Take a look at Agda (http://wiki.portal.chalmers.se/agda/pmwiki.php http://wiki.portal.chalmers.se/agda/pmwiki.php) and tell me if you could "learn it in a week".