/abstract-binding-trees

Abstract binding trees (abstract syntax trees plus binders), as a library in Agda

Primary LanguageAgda

No issues in this repository yet.