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.

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 Sat Nov 10 05:19:18 UTC 2018
Distributions NixOS:
Downloads 46 total (46 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI




Maintainer's Corner

For package maintainers and hackage trustees