equational-reasoning 0.7.1.0

9 Reverse deps Accepted versions
computational-algebra >=0.4 && <0.6
ghc-typelits-presburger >=0
half-space >=0.7 && <0.8
manifolds >=0
manifolds-core >=0.6 && <0.8
singletons-presburger >=0
sized >=0.5
sized-vector >=0.4 && <0.5
type-natural >=0.4.1.1