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

[Matthew Daggitt]

Dear all,

The Agda Team is pleased to announce the first 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-rc1.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>.

There are many new additions that can be found in the CHANGELOG
<https://github.com/agda/agda-stdlib/blob/v2.1-rc1/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.

If there are no 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/20240620/7de3e7e8/attachment.html>