[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:


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.)


More information about the Agda mailing list