search

agda / agda

Agda is a dependently typed programming language / interactive theorem prover.
https://wiki.portal.chalmers.se/agda/pmwiki.php
Other
2.41k stars 339 forks source link

Changelog for #7183 #7207

Open plt-amy opened 3 months ago

plt-amy commented 3 months ago

Just realized I included a changelog for the deprecation of the --overlapping-instances name, but not for the feature itself. (This issue is just a note to myself)