Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Zabt.Internal.Index
Description
Newtype for de Bruijn indices.
zabt-0.3.0.0: Arity-typed abstract binding trees
Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Zabt.Internal.Index
Description
Newtype for de Bruijn indices.