sidekick
sidekick copied to clipboard
perf: better sort
an array.sort/bigarray.sort (perhaps functorized) that works in-place on slices would be super useful as we use sort a lot in the SAT solver.