[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