[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