[Agda] [ ANNOUNCE ] Agda Standard Library version 2.1

[Matthew Daggitt]

Dear all,

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

There are many new additions that can be found in the CHANGELOG
<https://github.com/agda/agda-stdlib/blob/v2.1/CHANGELOG.md> file, and
highlights include:

* The size of the dependency graph for many modules has been reduced. This
may lead to speed ups for first-time loading of some modules.

* Added bindings for file handles in `IO.Handle`.

* Added bindings for random number generation in `System.Random`

* Added support for 8-bit words and bytestrings in `Data.Word8` and
`Data.ByteString`.

Best wishes,

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