[Agda] [ ANNOUNCE ] Standard library v1.7 - release candidate 2

[mechvel at scico.botik.ru]

On 2021-06-09 06:30, Matthew Daggitt wrote:
> Dear all,
> The Agda Team is pleased to announce the second release candidate for
> version 1.7 of the standard library. The release candidate has been
> tested using the second release candidate of Agda 2.6.2.

I tried it with Agda 2.6.2-rc2 + ghc-8.8.3,
have tested it on the library

   http://www.botik.ru/pub/local/Mechveliani/docon-A/3.2rc

It looks all right.

--
SM