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



More information about the Agda mailing list