<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.0 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 and can be</font><span style="font-family:arial,helvetica,sans-serif"> downloaded </span><a href="https://github.com/agda/agda-stdlib/archive/v2.0-rc1.zip" target="_blank" style="font-family:arial,helvetica,sans-serif">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" target="_blank" style="font-family:arial,helvetica,sans-serif">Github issues page</a><span style="font-family:arial,helvetica,sans-serif">. </span></pre><pre style="color:rgb(0,0,0)"><pre style="text-wrap: wrap;"><pre style="text-wrap: wrap;"><font face="arial, helvetica, sans-serif">The goal of this major version bump is to iron out many of the rough edges in the library that we have been unable to fix in a backwards compatible manner. Therefore code that worked with v1.7 of the library may not work with v2.0. Nonetheless we hope that once ported across, your code will be significantly cleaner and simpler than it was before! An exhaustive list of changes can be found in the <a href="https://github.com/agda/agda-stdlib/blob/v2.0-rc1/CHANGELOG.md">CHANGELOG</a> file.</font></pre></pre><pre style="text-wrap: wrap;"><span style="font-family:arial,sans-serif">Given this is a major version bump, we plan to wait approximately a month before the full release in order to give people time to try it out. If no major issues are found we will aim to </span><span class="gmail-il" style="font-family:arial,sans-serif">release</span><span style="font-family:arial,sans-serif"> the official version of 2.0 in late November/early December.</span><br></pre></pre><pre style="color:rgb(0,0,0)"><pre style="text-wrap: wrap;"><pre style="text-wrap: wrap;"><font face="arial, sans-serif">Best wishes,</font></pre><pre style="text-wrap: wrap;"><font face="arial, sans-serif">Matthew, on behalf of the Agda Team</font></pre></pre></pre></div></div>