[Agda] Compiling Standard Library with GHC 7.6

Andrés Sicard-Ramírez andres.sicard.ramirez at gmail.com
Mon Sep 17 15:38:11 CEST 2012


On Sun, Sep 16, 2012 at 8:32 PM, Lyndon Maydwell <maydwell at gmail.com> wrote:
> Were you able to compile Agda itself from 7.6.1?

Yes (It was only necessary bump a library dependency in geniplate)

> If so, was this from
> Darcs head?

Yes.

-- 
Andrés


More information about the Agda mailing list