Search results

Rename package to specification and add some flags

Status: Open.

#16 In comparison-sorting/specification;

· make-github-pseudonymous-again opened on Sep 20, 2020

Optionally test for stability

Status: Open.

#13 In comparison-sorting/specification;

· make-github-pseudonymous-again opened on Sep 17, 2020

Shuffle deterministically

Status: Open.

#11 In comparison-sorting/specification;

· make-github-pseudonymous-again opened on Sep 17, 2020