[Agda] List archives

[Ulf Norell]

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