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

Fix #7208: restore missing check for OverlappingProjects #7209

Closed andreasabel closed 2 months ago

andreasabel commented 2 months ago

Fixes #7208 by partially reverting the change introduced in 6c29efdc8c0eb1d1fbaf2d2ef5a5eefb704a9525 .