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.


Maintainer's Corner

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-2018 Peter Selinger
Author Peter Selinger
Category Language, Generics, Compilers/Interpreters
Home page
Uploaded by PeterSelinger at 2018-11-10T05:19:18Z
Distributions NixOS:
Downloads 1070 total (13 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]