[Agda] [ANNOUNCE] Agda standard library v2.1.1

[Matthew Daggitt]

Dear all,

The Agda Team is pleased to announce the release of version 2.1.1 of the
Agda standard library. The release has been tested using Agda 2.7.0 and can
be downloaded here <https://github.com/agda/agda-stdlib/releases/tag/v2.1.1>.


This is a compatibility release with Agda v2.7.0 and so the changes are
minimal. See the CHANGELOG
<https://github.com/agda/agda-stdlib/blob/v2.1.1/CHANGELOG.md> for details.

Best wishes,

Matthew, on behalf of the Agda Team
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20240903/5d7b0f4d/attachment.html>