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