[Agda] email list reference

[Sergei Meshveliani]

On Fri, 2017-08-11 at 21:59 +0300, Apostolis Xekoukoulotakis wrote:
> This link though works : 
> https://lists.chalmers.se/pipermail/agda/2017/thread.html
> 
> 
> So only those pages are inaccessible.


You and Guillaume give certain special web addresses pointing to email
archive.
Thank you, I have bookmarked it.

But people who want to know about Agda do not know of these addresses.
They type to browser "Agda homepage", and see the main page,
and no pointer to Community or to email list or archive.
Then, they type to browser "Agda mailing list", and the browser finds
wrong things (earlier this latter worked, but now it does not). 

Regards,

------
Sergei


> 
> On Fri, Aug 11, 2017 at 7:38 PM, Sergei Meshveliani <mechvel at botik.ru>
> wrote:
>         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
>         
>         
>         _______________________________________________
>         Agda mailing list
>         Agda at lists.chalmers.se
>         https://lists.chalmers.se/mailman/listinfo/agda
>         
> 
>