jmchapman / agda

Agda is a dependently typed programming language / interactive theorem prover.

http://wiki.portal.chalmers.se/agda/pmwiki.php

Geek Repo

Github PK Tool