[Agda] repository of Agda code/proofs

Nils Anders Danielsson nad at chalmers.se
Thu Feb 3 10:43:52 CET 2011


On 2011-02-02 22:23, Pavel Perikov wrote:
> So the question is: is there a repository of Agda code? To use Agda
> (or every proof assistant, or any programming language) one have to
> have a lot of domain libraries. Do we have something like hackage?

See http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Libraries.

Darin Morrison started work on a Cabal tool for Agda, but I believe his
work has come to a halt. Darin, do you have some code or design which
people could build on?

-- 
/NAD


More information about the Agda mailing list