[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: Next steps to a sane state

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.


Iain Lane                                  [ iain@orangesquash.org.uk ]
Debian Developer                                   [ laney@debian.org ]
Ubuntu Developer                                   [ laney@ubuntu.com ]

Attachment: signature.asc
Description: Digital signature

Reply to: