On Mon, 6 Jun 2016 17:53:52 +0900 Sean Whitton <spwhitton@spwhitton.name> wrote: > 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? ghc-mod does the same, so I see no reason why agda shouldn't get into DHG_packages.git. Regards Sven
Attachment:
pgp5hAsoo4WY8.pgp
Description: Digitale Signatur von OpenPGP