Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Dependencies for
type-natural-0.0.1.1
library
base
(>=4.6 && <4.7)
equational-reasoning
(>=0.0 && <0.1)
singletons
(>=0.8 && <0.9)