equational-reasoning 0.6.0.3

6 Reverse deps Accepted versions
computational-algebra >=0.4 && <0.6
ghc-typelits-presburger -any
singletons-presburger -any
sized >=0.5
sized-vector >=0.4 && <0.5
type-natural >=0.4.1.1