[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