bound-0.1: Combinators for manipulating locally-nameless generalized de Bruijn terms

Index

=<<<Bound.Class, Bound
>>>=Bound.Class, Bound
abstractBound.Scope, Bound
abstract1Bound.Scope, Bound
BBound.Var, Bound
BoundBound.Class, Bound
closedBound.Term, Bound
FBound.Var, Bound
fromScopeBound.Scope, Bound
instantiateBound.Scope, Bound
instantiate1Bound.Scope, Bound
isClosedBound.Term, Bound
Scope 
1 (Type/Class)Bound.Scope, Bound
2 (Data Constructor)Bound.Scope, Bound
splatBound.Scope, Bound
substituteBound.Term, Bound
toScopeBound.Scope, Bound
unscopeBound.Scope, Bound
VarBound.Var, Bound