[Agda] [ANNOUNCE] Standard library 0.14

Matthew Daggitt matthewdaggitt at gmail.com
Wed Oct 25 11:06:17 CEST 2017


Dear all,

The Agda Team is very pleased to announce the release of the standard
library 0.14.

The library has been tested using Agda 2.5.3.

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.

Enjoy the standard library 0.14.

-- 
Matthew, on behalf of the Agda Team
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20171025/54201238/attachment.html>


More information about the Agda mailing list