Dependencies for Fin-0.2.6.1

There is a total of 6 dependencies in lts-12.25

<< Return to package page

• alg-0.2.9.0
• base-4.11.1.0
• foldable1-0.1.0.0
• natural-induction-0.2.0.0
• peano-0.1.0.1@rev:2
• universe-base-1.0.2.1