[Agda] [ANNOUNCE] Agda Standard Library Version 2.2 - Release Candidate 1

[Matthew Daggitt]

Dear all,

The Agda Team is pleased to announce the first release candidate for
version 2.2 of the Agda standard library. The release candidate has been
tested using Agda 2.7.0 and 2.7.0.1 and can be downloaded here
<https://github.com/agda/agda-stdlib/archive/v2.2-rc1.zip>. The CHANGELOG
is available here
<https://github.com/agda/agda-stdlib/blob/v2.2-rc1/CHANGELOG.md>. We would
be grateful for reports of any issues you may encounter with the new
version of the library on the Github issues page
<https://github.com/agda/agda-stdlib/issues>.

If there are no further issues found, we plan to make the official release
next week.

Best wishes,

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