ghc-typelits-presburger 0.5.0.0

4 Reverse deps Accepted versions
computational-algebra >=0.1.1.1 && <0.2
singletons-presburger >=0.4
sized >=0.5
type-natural >=0.5