<div dir="ltr">Dear all,<br><div><pre style="color:rgb(0,0,0)"><font face="arial, helvetica, sans-serif">The Agda Team is pleased to announce the first <span class="gmail-il">release</span> <span class="gmail-il">candidate</span> for version 2.1 of the Agda standard library. The <span class="gmail-il">release</span> <span class="gmail-il">candidate</span> has been tested using Agda 2.6.4.3 and can be</font><span style="font-family:arial,helvetica,sans-serif"> downloaded </span><a href="https://github.com/agda/agda-stdlib/archive/v2.1-rc1.zip" style="font-family:arial,helvetica,sans-serif" target="_blank">here</a><span style="font-family:arial,helvetica,sans-serif">. We would be grateful for reports of any issues you may encounter with the new version of the library on the </span><a href="https://github.com/agda/agda-stdlib/issues" style="font-family:arial,helvetica,sans-serif" target="_blank">Github issues page</a><span style="font-family:arial,helvetica,sans-serif">. </span></pre><pre style="color:rgb(0,0,0)"><pre><font face="arial, helvetica, sans-serif">There are many new additions that can be found in the <a href="https://github.com/agda/agda-stdlib/blob/v2.1-rc1/CHANGELOG.md" target="_blank">CHANGELOG</a> file, and highlights include:<br></font></pre></pre><ul dir="auto"><li>
<p dir="auto">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.</p>
</li><li>
<p dir="auto">Added bindings for file handles in <code>IO.Handle</code>.</p>
</li><li>
<p dir="auto">Added bindings for random number generation in <code>System.Random</code></p>
</li><li>
<p dir="auto">Added support for 8-bit words and bytestrings in <code>Data.Word8</code> and <code>Data.ByteString</code>.</p>
</li></ul><pre style="color:rgb(0,0,0)"><pre><span style="font-family:arial,sans-serif">If there are no issues found, we plan to make the official release next week</span><span style="font-family:arial,sans-serif">.</span><br></pre></pre><pre style="color:rgb(0,0,0)"><pre><pre><font face="arial, sans-serif">Best wishes,</font></pre><pre><font face="arial, sans-serif">Matthew, on behalf of the Agda Team</font></pre></pre></pre></div></div>