@hackage nominal0.1.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.