On Mon, May 11, 2015 at 03:47:05PM +0200, Joachim Breitner wrote: > Iain, maybe you can upload agda? Okay, I'll try to get to that this week. Thanks for the poke. I don't mind if anyone else wants to do it though. Look at agda-stdlib at the same time, please. Cheers, -- Iain Lane [ iain@orangesquash.org.uk ] Debian Developer [ laney@debian.org ] Ubuntu Developer [ laney@ubuntu.com ]
Attachment:
signature.asc
Description: Digital signature