ghc-typelits-presburger 0.2.0.0

3 Reverse deps Accepted versions
computational-algebra >=0.1.1.1 && <0.2
sized >=0.2.0.0
type-natural >=0.2.0.0