[Agda] Agda 2.3.2 installation in ubuntu 12.04
Martin Escardo
m.escardo at cs.bham.ac.uk
Thu Apr 25 15:02:08 CEST 2013
I followed the instructions here:
http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Cabal.Linux
When I do
cabal install happy alex haskell-src-exts-1.9.6 Agda
haskell-src-exts-1.9.6 fails.
I just did, after failure,
cabal install Agda && agda-mode setup
I got no complain, and I tested a large set of Agda modules, and this
worked fine. Will I have problems with the haskell-src-exts-1.9.6 failure?
(I have installed Agda 2.3.2 in three other machines under ubuntu 12.04
in the past, but the instructions given before were slightly different,
and more verbose, and I don't have them available any longer.)
Thanks,
Martin
More information about the Agda
mailing list