Top 7.9% downloads on hackage.haskell.org
Top 4.6% dependent packages on hackage.haskell.org
Top 4.6% dependent packages on hackage.haskell.org
hackage.haskell.org : dec
Decidable propositions
Registry
-
Source
- JSON
- codemeta.json
purl: pkg:hackage/dec
Keywords:
bsd3
, data
, dependent-types
, library
, Propose Tags
License: BSD-3-Clause
Latest release: over 1 year ago
First release: over 6 years ago
Dependent packages: 4
Dependent repositories: 11
Downloads: 21,864 total
Stars: 4 on GitHub
Forks: 3 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: about 2 months ago