Dependencies for permutations-0.1.0.0

Libraries

permutations

alg (>=0.2.5 && <0.3)
base (>=4.7 && <5)
base-unicode-symbols
Fin (>=0.2.1 && <0.3)
natural-induction (>=0.2 && <0.3)
peano (>=0.1 && <0.2)
universe-base (>=1.0 && <1.1)
util