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

Portabilityportable
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>
Safe HaskellSafe-Infered

Bound

Description

 

Documentation

module Bound.Var

module Bound.Class

module Bound.Scope

module Bound.Term