Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / RyanGlScott / eliminators
Dependently typed elimination functions using singletons
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/RyanGlScott%2Feliminators
Stars: 27
Forks: 0
Open Issues: 2
License: bsd-3-clause
Language: Haskell
Repo Size: 169 KB
Dependencies:
17
Created: almost 7 years ago
Updated: 9 days ago
Last pushed: 10 days ago
Last synced: 9 days ago
Commit Stats
Commits: 146
Authors: 2
Mean commits per author: 73.0
Development Distribution Score: 0.007
More commit stats: https://commits.ecosyste.ms/hosts/GitHub/repositories/RyanGlScott/eliminators
Files
Dependencies
- hspec-discover * build
- base ==4.17.*
- extra >=1.4.2 && <1.8
- singleton-nats >=0.4.2 && <0.5
- singletons-base ==3.1.*
- template-haskell ==2.19.*
- text >=2.0.1 && <2.1
- th-abstraction ==0.4.*
- th-desugar ==1.14.*
- base ==4.17.* test
- eliminators * test
- hspec ==2.* test
- singleton-nats >=0.4.2 && <0.5 test
- singletons-base ==3.1.* test
- actions/cache/restore v3 composite
- actions/cache/save v3 composite
- actions/checkout v3 composite