search

agda / agda-stdlib

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

Put CHANGELOG.md under the whitespace regime #2327

Closed andreasabel closed 6 months ago

andreasabel commented 6 months ago

Re: https://github.com/agda/agda-stdlib/pull/2320#issuecomment-2016761309

andreasabel commented 6 months ago

Duplicate of