Agda is a dependently typed programming language / interactive theorem prover.
Home Page:https://wiki.portal.chalmers.se/agda/pmwiki.php
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool