<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>