[Agda-dev] agda: <<loop>>

Andrés Sicard-Ramírez asr at eafit.edu.co
Sat Mar 14 18:30:27 CET 2015


On 14 March 2015 at 12:23, Andrés Sicard-Ramírez <asr at eafit.edu.co> wrote:
> (and also a
> version of Geniplate compatible with GHC 7.10.1.RC2 (see
> https://github.com/augustss/geniplate/pull/4)).

While Lennart accepts my pull request, you can use my forked version
in https://github.com/asr/geniplate.

-- 
Andrés


More information about the Agda-dev mailing list