/bound

Combinators for manipulating locally-nameless generalized de Bruijn terms

Primary LanguageHaskellOtherNOASSERTION

No issues in this repository yet.