[Agda] ghc for Agda-2.3.2

Serge D. Mechveliani mechvel at botik.ru
Sat Dec 22 16:13:25 CET 2012

Previous message: [Agda] proof overhead
Next message: [Agda] Re: ghc for Agda-2.3.2
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

People,
will  Agda-2.3.2 + MAlonzo  build and work under  ghc-7.4.1 ?

Thanks,

------
Sergei

Previous message: [Agda] proof overhead
Next message: [Agda] Re: ghc for Agda-2.3.2
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda mailing list