[Agda] [ ANNOUNCE ] Standard library v2.0 - release candidate 2

[Matthew Daggitt]

Yes, I did. Thanks for the spot.
Matthew

On Mon, Nov 27, 2023 at 5:25 AM <mechvel at scico.botik.ru> wrote:

> On 2023-11-26 17:43, Matthew Daggitt wrote:
> > Dear all,
> >
> > The Agda Team is pleased to announce the first release candidate for
> > version 2.0 of the Agda standard library.
> > [..]
>
>
> Probably you mean "second release candidate"
> - ?
>
> --
> SM
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20231127/46b8940b/attachment.html>