<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 release of version 2.0 of the Agda standard library. The release has been tested using Agda 2.6.4 and Agda 2.6.4.1 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.zip" target="_blank" style="font-family:arial,helvetica,sans-serif">here</a><span style="font-family:arial,helvetica,sans-serif">.</span></pre><pre style="color:rgb(0,0,0)"><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" target="_blank">CHANGELOG</a> file.</font></pre><pre style="text-wrap: wrap;"><font face="arial, sans-serif">I would also like to thank all the contributors to v2.0. The sheer quantity of  additions in this version are absolutely massive - 30% of all PRs ever made to the library have been in v2.0. Without our many contributors this release would not have been possible.</font></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>