<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 <span class="gmail-m_-3232476637488566213m_-3121191609675070724gmail-il">release</span> of the standard
library 1.1. 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="white-space:pre-wrap;color:rgb(0,0,0)"><font face="arial, sans-serif">Enjoy the standard library 1.1.<br></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">-- 
Matthew, on behalf of the Agda Team</font></pre></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>