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 0.1.0.0, 0.2.0.0
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
Maintainer selinger@mathstat.dal.ca
Category Language, Generics, Compilers/Interpreters
Uploaded by PeterSelinger at Thu Nov 8 19:48:54 UTC 2018
Distributions NixOS:0.2.0.0
Downloads 47 total (47 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

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees