nominal: Binders and alpha-equivalence made easy

[ compilers-interpreters, generics, gpl, language, library ] [ Propose Tags ]

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.

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

Versions [RSS] 0.1.0.0, 0.2.0.0, 0.3.0.0
Change log ChangeLog
Dependencies base (>=4.5 && <5), containers (>=0.5) [details]
License GPL-3.0-only
Copyright Copyright (c) 2016-2022 Peter Selinger
Author Peter Selinger
Maintainer selinger@mathstat.dal.ca
Category Language, Generics, Compilers/Interpreters
Home page https://bitbucket.org/selinger/nominal/
Uploaded by PeterSelinger at 2022-11-16T01:38:56Z
Distributions NixOS:0.3.0.0
Reverse Dependencies 1 direct, 0 indirect [details]
Downloads 1138 total (15 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]