nominal

Binders and alpha-equivalence made easy

https://bitbucket.org/selinger/nominal/

Latest on Hackage:0.3.0.0

This package is not currently in any snapshots. If you're interested in using it, we recommend adding it to Stackage Nightly. Doing so will make builds more reliable, and allow stackage.org to host generated Haddocks.

GPL-3.0-only licensed by Peter Selinger
Maintained by [email protected]

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.