[Agda] [ANNOUNCE] Agda Standard Library Version 2.2

[Matthew Daggitt]

Dear all,

The Agda Team is pleased to announce the release of version 2.2 of the Agda
standard library. The release 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.zip>. The CHANGELOG is
available here <https://github.com/agda/agda-stdlib/blob/v2.2/CHANGELOG.md>.

Best wishes,

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