@hackage nominal0.3.0.0
Binders and alpha-equivalence made easy
Categories
License
GPL-3.0-only
Maintainer
selinger@mathstat.dal.ca
Links
- Homepage
- Documentation
- No source repository
- Changelog
- Security
Versions
Installation
Dependencies (2)
- base >=4.5 && <5
- containers >=0.5 Show all…
Dependents (1)
@hackage/acme-everything
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.