Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Dependencies for
equational-reasoning-0.2.0.3
Libraries
equational-reasoning
base
(>=4 && <5)
template-haskell
(>=2.8 && <2.11)
void
(>=0.6 && <0.7)
if
impl(ghc<7.8)
singletons
(>=0.8 && <0.9)
tagged
(>=0.6)
else
singletons
(>=0.8 && <1.1)