/scopes-n-roses

What's in a scope? An abstract representation of scopes in Agda.

Primary LanguageAgdaThe UnlicenseUnlicense

No issues in this repository yet.