search

agda / agda-stdlib

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

Tidy up CHANGELOG in preparation for v2.1 release candidate #2412

Closed MatthewDaggitt closed 3 months ago

jamesmckinna commented 3 months ago

Merging now...