4 ms·Thanks for pointing that out! It's now fixed.by rigille 5y agoThanks for pointing that out! It's now fixed.NieDzejkob 5y agoHow hard would it be to prove correctness of this quicksort in an example?