Specify the binding structure of your data type with an expressive set of type combinators, and Unbound handles the rest! Automatically derives alpha-equivalence, free variable calculation, capture-avoiding substitution, and more. See Unbound.LocallyNameless to get started.


Keywords
compilers-interpreters, generics, language, library, Propose Tags , Unbound.DynR, Unbound.LocallyNameless, Unbound.LocallyNameless.Alpha, Unbound.LocallyNameless.Fresh, Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Ops, Unbound.LocallyNameless.Subst, Unbound.LocallyNameless.Types, Unbound.PermM, Unbound.Util
License
BSD-3-Clause
Install
cabal install unbound-0.5.0