<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.5. The library has been tested using Agda 2.6.1.1. 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);font-family:monospace;white-space:pre-wrap"><li style="margin-left:15px"><span style="font-family:arial,helvetica,sans-serif">Regular expressions over both arbitrary types and Strings.</span></li><li style="margin-left:15px"><span style="font-family:arial,helvetica,sans-serif">Instance declarations for IsDecEquivalence and IsDecTotalOrder over various data types.</span></li><li style="margin-left:15px"><span style="font-family:arial,helvetica,sans-serif">Bindings for Haskell's System.Environment and System.Exit.</span></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>