[Agda] [ANNOUNCE] Standard library 0.11

Andreas Abel andreas.abel at ifi.lmu.de
Thu Oct 29 10:50:14 CET 2015


Thanks, Andres!

On 29.10.2015 05:58, Andrés Sicard-Ramírez wrote:
> Hi,
>
> We would like to announce the release of the standard library 0.11 available at
>
>    http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Libraries.StandardLibrary
>
> The library has been tested using Agda 2.4.2.4.
>
> Important changes since 0.10:
>
>    https://github.com/agda/agda-stdlib/raw/v0.11/CHANGELOG
>
> Note that no guarantees are made about backwards or forwards
> compatibility, the library is still at an experimental stage.
>
> If you want to compile the library using the MAlonzo compiler, then
> you should first install some supporting Haskell code, for instance as
> follows:
>
>    cd ffi
>    cabal install
>
> Currently the library does not support the Epic or JavaScript compiler
> back-ends.
>
> All the best,
>


-- 
Andreas Abel  <><      Du bist der geliebte Mensch.

Department of Computer Science and Engineering
Chalmers and Gothenburg University, Sweden

andreas.abel at gu.se
http://www2.tcs.ifi.lmu.de/~abel/


More information about the Agda mailing list