[Agda] Agda and GHC 7.8

Jan Stolarek jan.stolarek at p.lodz.pl
Sun Sep 28 14:27:44 CEST 2014


> Could you reproduce the issue running these commands
>
>   $ cabal update
>   $ cabal get Agda
>   $ cd Agda-2.4.2
>   $ cabal install

Yes.

Janek


More information about the Agda mailing list