<div dir="ltr"><div class="gmail_quote">Hi,<br>
<br>
The standard library 0.9 has been released (see<br>
<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>).<br>
<br>
The library has been tested using Agda 2.4.2.1.<br>
<br>Important changes since 0.8.1: <a href="https://github.com/agda/agda-stdlib/blob/v0.9/CHANGELOG">https://github.com/agda/agda-stdlib/blob/v0.9/CHANGELOG</a>.<br><br>
Note that no guarantees are made about backwards or forwards<br>
compatibility, the library is still at an experimental stage.<br>
<br>
If you want to compile the library using the MAlonzo compiler, then<br>
you should first install some supporting Haskell code, for instance as<br>
follows:<br>
<br>
  cd ffi<br>
  cabal install<br>
<br>
Currently the library does not support the Epic or JavaScript compiler<br>
backends.<br></div><br>-- <br><div><div dir="ltr">Andrés, on behalf of the standard library team<br>
</div></div>
</div>