The latest version of nominal is 0.3.0.0-0.
nominal
Version 0.1.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.
- Author
- Peter Selinger
- Bug reports
- n/a
- Category
- Language, Generics, Compilers/Interpreters
- Copyright
- Copyright (c) 2016-2018 Peter Selinger
- Homepage
- n/a
- Maintainer
- selinger@mathstat.dal.ca
- Package URL
- n/a
- Stability
- n/a