jespercockx/scopes-n-roses
What's in a scope? An abstract representation of scopes in Agda.
AgdaUnlicense
No issues in this repository yet.
What's in a scope? An abstract representation of scopes in Agda.
AgdaUnlicense
No issues in this repository yet.