[Agda] email list reference

G. Allais guillaume.allais at ens-lyon.org
Fri Aug 11 13:56:59 CEST 2017


Hi Sergei,

I have added two links with working archives in Community and
removed Gmane (it shut down a little while ago).

http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Community

However there seems to be a problem with mailman at Chalmers, both
https://lists.chalmers.se/mailman/listinfo/agda
and https://lists.chalmers.se/mailman/listinfo/agda-dev
are down

Cheers,
--
gallais


On 11/08/17 13:24, Sergei Meshveliani wrote:
> I am looking at  http://wiki.portal.chalmers.se/agda/pmwiki.php
> 
> and do not find there a reference to the Agda e-mail list archive.
> 
> Where, please, to find it?
> 
> Thanks,
> 
> ------
> Sergei
> 
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
> 

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: OpenPGP digital signature
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20170811/e2d35963/attachment.sig>


More information about the Agda mailing list