@hackage permutations dependencies
18 results
@hackage/universe-base
A class for finite and recursively enumerable types.
@hackage/peano
Peano numbers
@hackage/base
Core data structures and operations
@hackage/base-unicode-symbols
Unicode alternatives for common functions and operators
@hackage/alg
Algebraic structures
@hackage/util
Utilities
@hackage/natural-induction
Induction over natural numbers
@hackage/Fin
Finite totally-ordered sets
@hackage/universe-base
A class for finite and recursively enumerable types.
@hackage/permutations
Permutations of finite sets
@hackage/tasty
Modern and extensible testing framework
@hackage/peano
Peano numbers
@hackage/base
Core data structures and operations
@hackage/alg
Algebraic structures
@hackage/tasty-smallcheck
SmallCheck support for the Tasty test framework.
@hackage/smallcheck
A property-based testing library
@hackage/natural-induction
Induction over natural numbers
@hackage/Fin
Finite totally-ordered sets