Note that this README is only about Agda, not its standard library. See the Agda Wiki for information about the library.
- Contribution how-to:
HACKING
- Haskell style-guide
Agda is a dependently typed programming language / interactive theorem prover.
Note that this README is only about Agda, not its standard library. See the Agda Wiki for information about the library.
HACKING
Agda is a dependently typed programming language / interactive theorem prover.
http://wiki.portal.chalmers.se/agda/pmwiki.php
Other