<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.2. The library has been tested using Agda 2.6.0.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=""><font face="arial, sans-serif" style="color:rgb(0,0,0);white-space:pre-wrap">Highlights include:</font><font color="#000000"><span style="white-space:pre-wrap">
</span></font><ul style=""><li style="color:rgb(0,0,0);white-space:pre-wrap"><font face="arial, sans-serif">A new function hierarchy.</font></li><li><font face="arial, sans-serif">New (homo/mono/iso)morphism infrastructure for algebraic and relational structures.</font></li><li><font face="arial, sans-serif">A formalisation of fresh lists.</font></li><li><font face="arial, sans-serif">First proofs of algebraic properties for operations over ℚ.</font></li><li><font face="arial, sans-serif">Improved reduction and computational behaviour for all decidability proofs.</font><br></li></ul></pre><pre style="white-space:pre-wrap;color:rgb(0,0,0)"><font face="arial, sans-serif">Best wishes,<br></font></pre><pre style="white-space:pre-wrap;color:rgb(0,0,0)"><font face="arial, sans-serif">Matthew</font></pre><div class="gmail-yj6qo gmail-ajU" style="outline:none;padding:10px 0px;width:22px;margin:2px 0px 0px"><br class="gmail-Apple-interchange-newline"></div></div>