lib:singletons-presburger
Modules
Dependencies
- base lib:base >=4.7 && <5
- ghc lib:ghc >=0
- ghc-typelits-presburger lib:ghc-typelits-presburger >=0.4
- mtl lib:mtl >=0
- reflection lib:reflection >=0
- singletons lib:singletons >=0
- singletons-base lib:singletons-base >=3.0
Reverse dependencies
Direct only. Not exhaustive.
- singletons-presburger exe:simple-arith
- sized lib:sized