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