[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