[Agda] [ANNOUNCE] Standard library 0.12
Andrés Sicard-Ramírez
asr at eafit.edu.co
Sun Apr 17 04:08:19 CEST 2016
Dear all,
The Agda Team is very pleased to announce the release of the standard
library 0.12.
The library has been tested using Agda 2.5.1.
The library, CHANGELOG and README are available at
http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Libraries.StandardLibrary
Note that no guarantees are made about backwards or forwards
compatibility, the library is still at an experimental stage.
Currently the library does not support the JavaScript compiler backend.
Enjoy the standard library 0.12.
--
Andrés, on behalf of the Agda Team
More information about the Agda
mailing list