lib:permutations

Modules

• Data.Fin.Permutation

Dependencies

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

Reverse dependencies

Direct only. Not exhaustive.

• acme-everything lib:acme-everything
• permutations test:test