[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