[Agda] [ ANNOUNCE ] Standard Library v1.0.1
Matthew Daggitt
matthewdaggitt at gmail.com
Tue Apr 23 04:29:31 CEST 2019
Dear all,
The Agda Team is very pleased to announce the release of the standard
library 1.0.1. The library has been tested using Agda 2.6.0.
The library, CHANGELOG and README are available at
http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Libraries.StandardLibrary
This release fixes a bug in `Relation.Binary.Reasoning.MultiSetoid`
that resulted in unsolved metas.
Enjoy the standard library 1.0.1.
--
Matthew, on behalf of the Agda Team
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20190423/3a871e8c/attachment.html>
More information about the Agda
mailing list