hackage.haskell.org : predicate-typed
beyond refinement types + visualisation (supercedes predicate)
Registry
-
Source
- Homepage
- JSON
- codemeta.json
purl: pkg:hackage/predicate-typed
Keywords:
bsd3
, data
, library
, Propose Tags
License: BSD-3-Clause
Latest release: about 5 years ago
First release: over 6 years ago
Dependent repositories: 1
Downloads: 8,194 total
Stars: 9 on GitHub
Forks: 0 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: about 17 hours ago