<div dir="ltr">Dear all,<br><br>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 <a href="https://github.com/agda/agda-stdlib/releases/tag/v2.1">here</a>. <br><br>There are many new additions that can be found in the <a href="https://github.com/agda/agda-stdlib/blob/v2.1/CHANGELOG.md">CHANGELOG</a> file, and highlights include:<br><br>* 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.<br>  <br>* Added bindings for file handles in `IO.Handle`.<br>  <br>* Added bindings for random number generation in `System.Random`<br>  <br>* Added support for 8-bit words and bytestrings in `Data.Word8` and `Data.ByteString`.<br><br>Best wishes,<br><br>Matthew, on behalf of the Agda Team</div>