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. > [..] Probably you mean "second release candidate" - ? -- SM