The latest version of ghc-typelits-presburger is 0.7.4.0-0.
exe:simple-arith
Dependencies
- base lib:base >=0
- equational-reasoning lib:equational-reasoning >=0
- ghc-typelits-presburger lib:ghc-typelits-presburger >=0
- singletons lib:singletons >=0
Reverse dependencies
None.