hackage.haskell.org : singleton-nats
Unary natural number relying on the singletons infrastructure. More information about the general usage of singletons can be found on the singletons github page.
Registry
-
Source
- JSON
purl: pkg:hackage/singleton-nats
Keywords:
bsd3
, data
, dependent-types
, library
, Propose Tags
License: BSD-3-Clause
Latest release: almost 2 years ago
First release: over 10 years ago
Dependent packages: 1
Dependent repositories: 7
Downloads: 10,442 total
Stars: 7 on GitHub
Forks: 1 on GitHub
Total Commits: 58
Committers: 2
Average commits per author: 29.0
Development Distribution Score (DDS): 0.241
More commit stats: commits.ecosyste.ms
See more repository details: repos.ecosyste.ms
Last synced: 10 days ago