<div dir="ltr"><div class="gmail_quote">Hi,<br>
<br>
Version 0.8 of the standard library has now 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>This is a bugfix release fixing an issue with GHC 7.8.2 (issue #19).<br><br>
The library has been tested using Agda version 2.4.0.<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.<span class=""><font color="#888888"><br>
</font></span><br></div>-- <br><div dir="ltr">Andrés, on behalf of the standard library team<br></div>
</div>