issues
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
New deadcode warning CoinductiveEtaRecord instead of GenericError
#7300
Closed
andreasabel
closed
1 week ago
andreasabel
commented
3 weeks ago
TODO:
[x] CHANGELOG
TODO: