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
purl: pkg:hackage/nominal
Keywords:
compilers-interpreters
, generics
, gpl
, language
, library
, Propose Tags
License: GPL-3.0-only
Latest release: almost 3 years ago
First release: almost 7 years ago
Dependent repositories: 1
Downloads: 1,409 total
See more repository details: repos.ecosyste.ms
Last synced: 23 days ago
Loading...
Readme
Loading...