[Agda] Agda on ghc-7.6.2-candidate

Andrés Sicard-Ramírez andres.sicard.ramirez at gmail.com
Thu Jan 10 19:15:38 CET 2013

On Thu, Jan 10, 2013 at 10:04 AM, Serge D. Mechveliani <mechvel at botik.ru> wrote:
> Yes, I have done this before applying  agda -c $agdaLibOpt Main.agda
> Anyone tried  MAlonzo under ghc- ?

Using Agda and standard library development versions

$ cd agda
$ make compiler-test

worked with ghc-


More information about the Agda mailing list