[Agda] ANNOUNCE: Standard library 0.9

Wolfram Kahl kahl at cas.mcmaster.ca
Sun Nov 16 02:13:42 CET 2014


> On 15 November 2014 11:35, Sergei Meshveliani <mechvel at botik.ru> wrote:
> 
> > 2) I tries to read about the changes, but the reference
> >     https://github.com/agda/agda-stdlib/blob/v0.9/CHANGELOG.
> >
> > fails to load the page when I click at it.

It probably depends on your mail reader --- in one of my terminals,
it also erroneously considers the dot ``.'' at the end as a part
of the URL, which then produces a ``spectacular'' 404 page...

Delete that dot from the URL, and it works.


Wolfram


More information about the Agda mailing list