Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Dependencies for
type-level-natural-number-induction-1.0.0.1
Libraries
type-level-natural-number-induction
base
(>=3 && <5)
transformers
(>=0.2 && <0.4)
type-level-natural-number
(>=1.0 && <1.2)