On Mon, Jun 06, 2016 at 09:15:32AM +0100, Iain Lane wrote: > Go for it. I also think that Agda ought to be integrated into the rest > of the DHG's packages if possible - it would be good if you could do > that at the same time. Given that it builds a binary package installing an Emacs mode, which contains no Haskell, are you sure it should be added to DHG_packages.git? > If you have time, please look into upgrading agda-stdlib too. ACK -- Sean Whitton
Attachment:
signature.asc
Description: PGP signature