Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Dependencies for
type-natural-0.4.0.0
library
base
(>=4 && <5)
constraints
(>=0.3 && <0.9)
equational-reasoning
(>=0.4 && <0.5)
ghc-typelits-natnormalise
(>=0.4 && <0.5)
ghc-typelits-presburger
(>=0.1 && <0.2)
monomorphic
(>=0.0.3)
singletons
(>=2.0 && <2.3)
template-haskell
(>=2.8 && <3)