[Agda] [ ANNOUNCE ] Standard library v2.0 - release candidate 2

[mechvel at scico.botik.ru]

On 2023-11-26 17:43, Matthew Daggitt wrote:
> Dear all,
> 
> The Agda Team is pleased to announce the first release candidate for
> version 2.0 of the Agda standard library. The release candidate has
> been tested using Agda 2.6.4 and can be downloaded here [1]. We would
> be grateful for reports of any issues you may encounter with the new
> version of the library on the Github issues page [2].
[..]


I have tested this  agda-stdlib-2.0-rc2

on my large computer algebra library on Agda-2.6.4, MAlonzo, ghc-9.2.7, 
Ubuntu Linux 18.04.

It shows the same behavior as lib-1.7.3,
only it forces to change the usage of several library item names and 
formats.

------
Sergei