• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Dependencies for Fin-0.2.7.0

Libraries

Fin

• 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.1)