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

Guillaume

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


More information about the Agda mailing list