Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
Locally nameless terms with operators in o
at order n
.
A variable is a De Bruijn index, optionally decorated with a display name.
Safe Haskell | None |
---|---|
Language | Haskell2010 |
Locally nameless terms with operators in o
at order n
.
A variable is a De Bruijn index, optionally decorated with a display name.