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

Don't mark eta unit records as irrelevant #7317

Closed UlfNorell closed 1 week ago

UlfNorell commented 2 weeks ago

Fixes #6270