[Agda] [ANNOUNCE] Standard library v1.6 - release candidate 1

[Matthew Daggitt]

Dear all,

The Agda Team is pleased to announce the first release candidate for
version 1.6 of the standard library. The release candidate has been
tested using Agda 2.6.1 and Agda 2.6.1.3. This release includes many
new features, the highlights of which are:


   - The first verified implementation of a sorting algorithm
(available from Data.List.Sort).
   - Pseudo-random generators for ℕ (available from Data.Nat.Pseudorandom.LCG)
   - Large increase in the number of proofs about both normalised and
unnormalised rational numbers.
   - Reorganised module dependency graph of the IO module so that a
hello world program may be compiled without pulling in upwards of 130
modules.

The release candidate can be downloaded here
<https://github.com/agda/agda-stdlib/archive/v1.6-rc1.zip>. We would
be grateful for reports of any issues you may encounter with the new
version of the library on the Github issues page
<https://github.com/agda/agda-stdlib/issues>.

If no major issues are found we will aim to release the official
version 1.6 in the next couple of weeks.

Best wishes,

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