[Agda] Re: ghc for Agda-2.3.2

Francesco Mazzoli f at mazzo.li
Sat Dec 22 17:36:50 CET 2012



At Sat, 22 Dec 2012 19:13:25 +0400,
Serge D. Mechveliani wrote:
> People,
> will  Agda-2.3.2 + MAlonzo  build and work under  ghc-7.4.1 ?

I use that version of GHC (it ships with debian) and I’m not having any
problems.  I didn’t try to do much with MAlonzo.

Francesco



More information about the Agda mailing list