[Agda] [ANNOUNCE] Standard library v1.2

Matthew Daggitt matthewdaggitt at gmail.com
Mon Nov 11 14:22:13 CET 2019


Dear all,

The Agda Team is very pleased to announce the release of the standard
library 1.2. The library has been tested using Agda 2.6.0.1.

The new version of the library, CHANGELOG and README are available at

http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Libraries.StandardLibrary

Highlights include:

   - A new function hierarchy.
   - New (homo/mono/iso)morphism infrastructure for algebraic and
relational structures.
   - A formalisation of fresh lists.
   - First proofs of algebraic properties for operations over ℚ.
   - Improved reduction and computational behaviour for all decidability proofs.

Best wishes,

Matthew
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20191111/4d3c750d/attachment.html>


More information about the Agda mailing list