@hackage nominal0.3.0.0

Binders and alpha-equivalence made easy

An efficient and easy-to-use library for defining datatypes with binders, and automatically handling bound variables and alpha-equivalence. It is based on Gabbay and Pitts's theory of nominal sets.

See Nominal for an overview and the full documentation.