[Agda] Building Agda with ghc-6.12.3: build failure on geniplate

Guillaume Brunerie guillaume.brunerie at gmail.com
Tue Oct 16 04:22:42 CEST 2012

Yes, it does work out of the box now, thanks Lennart!


On 2012/10/15 James Chapman <james at cs.ioc.ee> wrote:
> Lennart has released a new version of geniplate ( so I hope this problem has gone away.
> James

More information about the Agda mailing list