nominal
Version 0.3.0.0 revision 0 uploaded by PeterSelinger.
Package meta
- Synopsis
- Binders and alpha-equivalence made easy
- Description
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.
- Author
- Peter Selinger
- Bug reports
- n/a
- Category
- Language, Generics, Compilers/Interpreters
- Copyright
- Copyright (c) 2016-2022 Peter Selinger
- Homepage
- https://bitbucket.org/selinger/nominal/
- Maintainer
- selinger@mathstat.dal.ca
- Package URL
- n/a
- Stability
- n/a