Hacker News new | ask | show | jobs
by rigille 1773 days ago
Thanks for pointing that out! It's now fixed.
1 comments
NieDzejkob 1772 days ago
How hard would it be to prove correctness of this quicksort in an example?
link