Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Dependencies for
Fin-0.2.9.0
library
alg
(>=0.2.5 && <0.3)
base
(>=4.7 && <5)
foldable1
(>=0.1 && <0.2)
natural-induction
(>=0.2 && <0.3)
peano
universe-base
(>=1.0 && <1.2)