The latest version of ghc-typelits-presburger is 0.7.4.1-0.
lib:ghc-typelits-presburger
Modules
Dependencies
- base lib:base >=4.7 && <5
- equational-reasoning lib:equational-reasoning >=0.4.0.0
- ghc lib:ghc >=7.10 && <8.2
- ghc-tcplugins-extra lib:ghc-tcplugins-extra >=0.2 && <0.3
- presburger lib:presburger >=1.3 && <1.4
- reflection lib:reflection >=0
Reverse dependencies
Direct only. Not exhaustive.
- ghc-typelits-presburger exe:simple-arith
- ghc-typelits-presburger exe:simple-arith-core
- ghc-typelits-presburger test:test-typeltis-presburger
- singletons-presburger lib:singletons-presburger
- type-natural lib:type-natural