hackage.haskell.org : nominal
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.
Registry
-
Source
- Homepage
- JSON
- codemeta.json
purl: pkg:hackage/nominal
Keywords:
compilers-interpreters
, generics
, gpl
, language
, library
, Propose Tags
License: GPL-3.0-only
Latest release: about 3 years ago
First release: over 7 years ago
Dependent repositories: 1
Downloads: 1,447 total
See more repository details: repos.ecosyste.ms
Last synced: about 2 months ago