<div dir="ltr"><pre style="color:rgb(0,0,0)">Dear all,
The Agda Team is very pleased to announce the release of the standard library 0.14.</pre><pre style="color:rgb(0,0,0)">The library has been tested using Agda 2.5.3.
The library, CHANGELOG and README are available at
<a href="http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Libraries.StandardLibrary">http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Libraries.StandardLibrary</a>
Note that no guarantees are made about backwards or forwards
compatibility, the library is still at an experimental stage.
Enjoy the standard library 0.14.
--
Matthew, on behalf of the Agda Team</pre></div>