search

agda / agda

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

re. 7250: copy instanceinfo #7251

Closed plt-amy closed 1 month ago

plt-amy commented 1 month ago

Fixes #7250