[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