ghc-typelits-presburger 0.1.1.1

2 Reverse deps Accepted versions
computational-algebra >=0.1.1.1 && <0.2
type-natural >=0.1.1 && <0.2