bound-0.1.2: Combinators for manipulating locally-nameless generalized de Bruijn terms
Bound
Description
module Bound.Var
module Bound.Class
module Bound.Scope
module Bound.Term