Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / konn / ghc-typelits-presburger
Presburger arithmetic solver for built-in type-level naturals
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/konn%2Fghc-typelits-presburger
Stars: 6
Forks: 6
Open Issues: 3
License: None
Language: Haskell
Repo Size: 1.22 MB
Dependencies:
35
Created: almost 8 years ago
Updated: 8 months ago
Last pushed: 4 months ago
Last synced: 3 days ago
Topics: compiler-plugin, dependent-types, ghc, ghc-plugin, haskell, presburger-arithmetic-solver, solver, type-level-programming
Funding links: https://github.com/sponsors/konn
Files
Dependencies
- tasty-discover * build
- base >=4.7 && <5
- base *
- containers *
- equational-reasoning *
- ghc <9.3
- ghc-tcplugins-extra >=0.2 && <0.5
- ghc-typelits-presburger *
- mtl *
- pretty *
- reflection *
- syb *
- transformers *
- base * test
- equational-reasoning * test
- ghc-typelits-presburger * test
- tasty * test
- tasty-discover * test
- tasty-expected-failure * test
- tasty-hunit * test
- text * test
- base >=4.7 && <5
- base *
- equational-reasoning *
- ghc-typelits-presburger >=0.4
- mtl *
- reflection *
- singletons *
- singletons-base >=3.0
- singletons-presburger *
- singletons-th *
- actions/cache v2 composite
- actions/checkout v2 composite
- haskell/actions/setup v2 composite
- haskell/actions/setup v1.1.7 composite