<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><span class="gmail-il">release</span></span> <span><span class="gmail-il">candidate</span></span> for version 2.<span class="gmail-il">1</span>.1 of the Agda standard library. The <span><span class="gmail-il">release</span></span> <span><span class="gmail-il">candidate</span></span> has been tested using Agda 2.7.0 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.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>This is a simple compatibility release to add support for Agda 2.7.0 and there are no other major changes.<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 <span class="gmail-il">release</span> 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>