Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / konn / type-natural
Type-level well-kinded natural numbers.
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/konn%2Ftype-natural
Stars: 33
Forks: 12
Open Issues: 0
License: bsd-3-clause
Language: Haskell
Repo Size: 456 KB
Dependencies:
24
Created: almost 11 years ago
Updated: about 1 year ago
Last pushed: 5 months ago
Last synced: 21 days ago
Topics: dependent-types, ghc, haskell, proof-assistant, type-level, type-level-programming
Funding links: https://github.com/sponsors/konn
Files
Dependencies
- base ==4.*
- constraints >=0.3
- equational-reasoning >=0.4.1.1
- ghc *
- ghc-typelits-knownnat *
- ghc-typelits-natnormalise >=0.4
- ghc-typelits-presburger >=0.6.2
- integer-logarithms *
- template-haskell >=2.8
- QuickCheck * test
- base * test
- equational-reasoning * test
- integer-logarithms * test
- quickcheck-instances * test
- tasty * test
- tasty-discover * test
- tasty-hunit * test
- tasty-quickcheck * test
- template-haskell * test
- type-natural * test
- actions/cache v2 composite
- actions/checkout v2 composite
- haskell/actions/setup v1.1.7 composite
- haskell/actions/setup v1.2.7 composite