Dependencies for equational-reasoning-induction-0.6.0.0

Libraries

base (>=4 && <5)
singletons
template-haskell (>=2.11 && <2.16)
th-extras (>=0.0 && <0.1)
if impl(ghc<8.4)
- semigroups (>=0.18 && <0.19)