[Agda] [ANNOUNCE] Agda Standard Library v2.1 - release candidate 2

[Matthew Daggitt]

Dear all,

The Agda Team is pleased to announce the second release candidate for
version 2.1 of the Agda standard library. The release candidate has been
tested using Agda 2.6.4.3 and can be downloaded here
<https://github.com/agda/agda-stdlib/archive/v2.1-rc2.zip>. 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>.

A couple of bugs have been fixed compared to the release candidate:
 1) Changes to the definition of list functions such as `filter` and
`partition` have been reverted, as they sometimes resulted in new unsolved
metas appearing.
 2) The new definitions in Function/Relation/Binary/Setoid/Equality.agda
<https://github.com/agda/agda-stdlib/pull/2429/files#diff-72dd109a2c28a9baf86137683b0f2512e9b28f4a74228b6fbcb8aa666cac5a41>
and src/Algebra/Construct/Pointwise.agda
<https://github.com/agda/agda-stdlib/pull/2433/files#diff-6ac542759e4e05d241fdede6a1ec5edd65dad61f9ea5f649c9b921f373ed8a69>
have been changed so their arguments are explicit rather than implicit.

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/20240711/050092e2/attachment.html>