<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 <span class="gmail-il">announce</span> the release of the standard
library 1.3. The library has been tested using Agda 2.6.1.
</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 new version of 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"><font face="arial, sans-serif" style="color:rgb(0,0,0)">Highlights include:</font><font color="#000000">
</font><ul><li><font face="arial, sans-serif">Monoid and ring tactics that are capable of solving equalities without having to restate the equation.</font></li><li><span style="color:rgb(0,0,0)"><font face="arial, sans-serif">Binary and rose trees.</font></span></li><li><font face="arial, sans-serif"><span style="color:rgb(0,0,0)">Warnings when importing deprecated modules.</span></font></li></ul></pre><pre style="white-space:pre-wrap;color:rgb(0,0,0)"><font face="arial, sans-serif">Best wishes,</font></pre><pre style="white-space:pre-wrap;color:rgb(0,0,0)"><font face="arial, sans-serif">Matthew, on behalf of the Agda Team</font></pre></div>