Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / clash-lang / ghc-typelits-natnormalise
Normalise GHC.TypeLits.Nat equations
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/clash-lang%2Fghc-typelits-natnormalise
Stars: 41
Forks: 13
Open Issues: 13
License: other
Language: Haskell
Repo Size: 335 KB
Dependencies:
14
Created: about 9 years ago
Updated: about 1 month ago
Last pushed: 7 months ago
Last synced: about 1 month ago
Files
Loading...
Readme
Loading...
Dependencies
ghc-typelits-natnormalise.cabal
hackage
- base >=4.9 && <5
- containers >=0.5.7.1 && <0.7
- ghc >=8.0.1 && <9.4
- ghc-bignum >=1.0 && <1.3
- ghc-tcplugins-extra >=0.3.1
- integer-gmp ==1.0.*
- transformers >=0.5.2.0 && <0.6
- base >=4.8 && <5 test
- ghc-typelits-natnormalise * test
- tasty >=0.10 test
- tasty-hunit >=0.9 test
- template-haskell >=2.11.0.0 test
.github/workflows/haskell-ci.yml
actions
- actions/cache v2 composite
- actions/checkout v2 composite