Fix #7286: don't fail hard when there are instances with unresolved types - Githubissues

agda / agda

Agda is a dependently typed programming language / interactive theorem prover.

https://wiki.portal.chalmers.se/agda/pmwiki.php

Other

2.48k stars 345 forks source link

Fix #7286: don't fail hard when there are instances with unresolved types #7305

Closed UlfNorell closed 3 months ago

UlfNorell commented 3 months ago

Fixes #7286