search

agda / agda-stdlib

The Agda standard library
https://wiki.portal.chalmers.se/agda/Libraries/StandardLibrary
Other
585 stars 237 forks source link

fix `CHANGELOG` after #2418 #2474

Closed jamesmckinna closed 2 months ago

jamesmckinna commented 2 months ago

See this comment et seq.

MatthewDaggitt commented 2 months ago

Thanks!