[Agda] List archives

Ulf Norell ulf.norell at gmail.com
Fri Sep 25 15:44:17 CEST 2009


On Fri, Sep 25, 2009 at 3:33 PM, Robin Green <greenrd at greenrd.org> wrote:

> Why are the agda list archives members-only?


Excellent question.


> Will this restriction be removed at some point?
>

Yes, just now :-) (At least I think I managed to convince the admin
interface to make the archives public.)

/ Ulf
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20090925/b63ae201/attachment.html


More information about the Agda mailing list