@hackage Fin0.2.7.0
Finite totally-ordered sets
Deprecated
Dependencies (6)
- 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 Show all…
Dependents (3)
@hackage/rv, @hackage/word, @hackage/permutations