equational-reasoning 0.5.0.0

5 Reverse deps Accepted versions
computational-algebra >=0.4.1.1 && <0.5
ghc-typelits-presburger >=0.4.0.0
sized ==0.*
sized-vector >=0.4 && <0.5
type-natural >=0.4.1.1 && <1