[Agda] [ANNOUNCE] Standard library v1.4

[Matthew Daggitt]

Dear all,

The Agda Team is very pleased to announce the release of the standard
library 1.4. The library has been tested using Agda 2.6.1.1. and 2.6.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:

   - First instance modules, which provide Functor, Monad, Applicative
instances for various datatypes. Found under Data.X.Instances.
   - New standardised numeric predicates NonZero, Positive, Negative,
NonPositive, NonNegative, especially designed to work as instance
arguments.
   - A hierarchy of metric spaces and functions, including a
specialisation to ℕ.

Best wishes,

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