[Agda] List archives

Ulf Norell ulf.norell at gmail.com
Fri Sep 25 16:03:11 CEST 2009


On Fri, Sep 25, 2009 at 3:49 PM, Nils Anders Danielsson
<nad at cs.nott.ac.uk>wrote:

> On 2009-09-25 14:33, Robin Green wrote:
>
>> Why are the agda list archives members-only?
>>
>
> I believe that this is a Chalmers policy.


Oh, I might get an angry mail from the administration soon then. For now the
archives should be public though (can someone verify that it worked?).

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


More information about the Agda mailing list