[Agda] ANNOUNCE: Standard library version 0.5

Nils Anders Danielsson nad at chalmers.se
Sun Feb 20 19:24:00 CET 2011


Hi,

Version 0.5 of the standard library has now been released, see
http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Libraries.StandardLibrary.

The library has been tested using Agda version 2.2.10.

Note that no guarantees are made about backwards or forwards
compatibility, the library is still at an experimental stage.

-- 
/NAD


More information about the Agda mailing list