asr / agda-kanso Goto Github PK
View Code? Open in Web Editor NEWThis project forked from kazkansouh/agda
Agda is a dependently typed programming language / interactive theorem prover.
Home Page: http://wiki.portal.chalmers.se/agda/pmwiki.php
License: Other