virtual/ghc emacs? ( virtual/emacs ) =sys-devel/automake-1.10* >=sys-devel/autoconf-2.59 sys-devel/libtool

0
http://www.coverproject.org/Agda/Agda-1.1-cvs20050601.tar.gz

http://www.cs.chalmers.se/~catarina/agda
MIT
Agda is a proof assistant in Haskell.
~x86
elisp-common portability multilib libtool autotools eutils
emacs











