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

mechvel at scico.botik.ru mechvel at scico.botik.ru
Wed Jun 9 18:51:44 CEST 2021


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


More information about the Agda mailing list