Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
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
License: GPL-3.0-only
Latest release: over 1 year ago
First release: over 5 years ago
Dependent repositories: 1
Downloads: 1,266 total
See more repository details: repos.ecosyste.ms
Last synced: 5 days ago