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.

Versions [RSS] [faq],
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 972 total (18 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs uploaded by user
Build status unknown [no reports yet]




Maintainer's Corner

For package maintainers and hackage trustees