<div dir="ltr"><pre style="white-space:pre-wrap;color:rgb(0,0,0)"><font face="arial, helvetica, sans-serif">Dear all,
The Agda Team is very pleased to announce the <span class="m_-3121191609675070724gmail-il">release</span> of the standard
library 1.0. The library has been tested using Agda 2.6.0.
</font></pre><pre style="white-space:pre-wrap;color:rgb(0,0,0)"><pre style="white-space:pre-wrap"><font face="arial, helvetica, sans-serif">The library, CHANGELOG and README are available at</font></pre><font face="arial, helvetica, sans-serif"> <a href="http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Libraries.StandardLibrary" target="_blank">http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Libraries.StandardLibrary</a>
</font></pre><pre style="white-space:pre-wrap;color:rgb(0,0,0)"><font face="arial, helvetica, sans-serif">As this is the first official <b><i>stable</i></b> release of the standard library, I and the team would
like to take this moment to thank everyone for their patience! We know that
we've made a fair few non-backwards compatible changes over the last couple
of years, but we're now confident that the design of v1.0 will allow us to further extend
the library without further large changes being necessary.</font></pre><pre style="white-space:pre-wrap;color:rgb(0,0,0)"><font face="arial, helvetica, sans-serif">Subsequent releases will strive to ensure backwards compatibility, and the main
focus of v1.1 will be to increase the quality and quantity of documentation that
accompanies the library. </font></pre><pre style="white-space:pre-wrap;color:rgb(0,0,0)"><font face="arial, helvetica, sans-serif">Enjoy the standard library 1.0.</font></pre><pre style="white-space:pre-wrap;color:rgb(0,0,0)"><font face="arial, helvetica, sans-serif">--
Matthew, on behalf of the Agda Team</font></pre></div>