G github.com Quadratic strict weak ordering check to catch bugs in sorting 34 points danlark 3 years ago 1 comments