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.


Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


Versions [RSS],,
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
Category Language, Generics, Compilers/Interpreters
Home page
Uploaded by PeterSelinger at 2022-11-16T01:38:56Z
Distributions NixOS:
Reverse Dependencies 1 direct, 0 indirect [details]
Downloads 1272 total (14 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]