-
https://wiki.portal.chalmers.se/agda/pmwiki.php dependently typed functional programming language Co-authored-by: Leo <thinkabit.ukim@gmail.com>
532b1525
https://wiki.portal.chalmers.se/agda/pmwiki.php dependently typed functional programming language Co-authored-by: Leo <thinkabit.ukim@gmail.com>