[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