Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Dependencies for
natural-induction-0.2.0.0
library
base
(>=4.9 && <5)
peano
(>=0.1 && <0.2)