@hackage Fin0.2.0.0
Finite totally-ordered sets
Deprecated
Dependencies (4)
- base >=4.7 && <5
- clist >=0.2 && <0.3
- natural-induction >=0.2 && <0.3
- peano Show all…
Dependents (3)
@hackage/rv, @hackage/word, @hackage/permutations
Finite totally-ordered sets