[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-7.6.1.20121207 ?

Using Agda and standard library development versions

$ cd agda
$ make compiler-test

worked with ghc-7.6.1.20121207.

-- 
Andrés


More information about the Agda mailing list