3 ms·
Agda[1] is fun. Also Idris[2] - more programming language, less proof assistant. [1] https://wiki.portal.chalmers.se/agda/pmwiki.php https://wiki.portal.chalme
by mncharity 4y ago
Agda[1] is fun. Also Idris[2] - more programming language, less proof assistant.
[1] https://wiki.portal.chalmers.se/agda/pmwiki.php https://wiki.portal.chalmers.se/agda/pmwiki.php https://github.com/agda/agda https://github.com/agda/agda
[2] https://www.idris-lang.org/ https://www.idris-lang.org/