@hackage / nominal

Binders and alpha-equivalence made easy

Latest0.3.0.0

About

Metadata

  • Last updated , by PeterSelinger
  • License GPL-3.0-only
  • Categories Generics, Compilers and Interpreters

  • Maintained by: selinger@mathstat.dal.ca

  • Lottery factor: 0

Links

Installation

Readme

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.