[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