[Agda] [ANNOUNCE] Standard library v1.6

[Matthew Daggitt]

Dear all,

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


   -

   Reorganised module hierarchy in the dependency graph of the IO module so
   that a program as simple as "Hello world" may be compiled without pulling
   upwards of 130 modules.
   -

   First verified implementation of a sorting algorithm (available from
   Data.List.Sort).
   -

   Pseudo random generators for ℕ (available from Data.Nat.Pseudorandom.LCG)
   -

   Drastic increase in the performance of normalised rational numbers.
   -

   Large number of additional proofs about both normalised and unnormalised
   rational numbers.

Best wishes,

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