<div dir="ltr">Dear all,<br><div><pre style="white-space:pre-wrap;color:rgb(0,0,0)"><font face="arial, helvetica, sans-serif">The Agda Team is very pleased to announce the release of the standard
library 1.6. The library has been tested using Agda 2.6.1.3. and 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></pre><div><pre style="white-space:pre-wrap;color:rgb(0,0,0)"><font face="arial, sans-serif"></font></pre></div><div><ul style="color:rgb(0,0,0);white-space:pre-wrap"><li style="line-height:inherit"><p style="margin:3px 0px"><font face="arial, sans-serif">Reorganised module hierarchy in the dependency graph of the IO module so that a program as simple as "Hello world" may be compiled without pulling upwards of 130 modules.</font></p></li><li style="line-height:inherit"><p style="margin:3px 0px"><font face="arial, sans-serif">First verified implementation of a sorting algorithm (available from Data.List.Sort).</font></p></li><li style="line-height:inherit"><p style="margin:3px 0px"><font face="arial, sans-serif">Pseudo random generators for ℕ (available from Data.Nat.Pseudorandom.LCG)</font></p></li><li style="line-height:inherit"><p style="margin:3px 0px"><font face="arial, sans-serif">Drastic increase in the performance of normalised rational numbers.</font></p></li><li style="line-height:inherit"><p style="margin:3px 0px"><font face="arial, sans-serif">Large number of additional proofs about both normalised and unnormalised rational numbers.</font></p></li></ul></div><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></div>