[Agda] Compiling Standard Library with GHC 7.6

[Andrés Sicard-Ramírez]

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