[Agda] email list reference
Sergei Meshveliani
mechvel at botik.ru
Fri Aug 11 18:38:12 CEST 2017
On Fri, 2017-08-11 at 13:56 +0200, G. Allais wrote:
> 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
>
At the main page http://wiki.portal.chalmers.se/agda/pmwiki.php
I see now the buttons
Main
Download
...
Report a bug
Why not add there a reference to Community, email archive, etc.?
Thanks,
------
Sergei
> > 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
> >
>
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
More information about the Agda
mailing list