Version 0.2.0.2-0 of ghc-typelits-presburger is deprecated.
The latest version of ghc-typelits-presburger is 0.7.4.0-0.
lib:ghc-typelits-presburger
Modules
Dependencies
- base lib:base >=4.7 && <5
- containers lib:containers >=0
- equational-reasoning lib:equational-reasoning >=0.4.0.0
- ghc lib:ghc >=7.10 && <8.5
- ghc-tcplugins-extra lib:ghc-tcplugins-extra >=0.2 && <0.4
- pretty lib:pretty >=0
- reflection lib:reflection >=0
- singletons lib:singletons >=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
- sized lib:sized
- type-natural lib:type-natural