<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 announce the <span class="gmail-m_-5851927739737232005m_-3121191609675070724gmail-il">release</span> of the standard
library 1.0.1. The library has been tested using Agda 2.6.0.
</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 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, helvetica, sans-serif">This release fixes a bug in `Relation.Binary.Reasoning.MultiSetoid`
that resulted in unsolved metas.</font></pre><pre style="white-space:pre-wrap;color:rgb(0,0,0)"><font face="arial, helvetica, sans-serif">Enjoy the standard library 1.0.1.</font><br></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>