A proof that the quicksort algorithm terminates on all inputsgist.github.com15 pointspaf3115 years agoTesting my new language... This might be the slowest quicksort implementation yet, but hey, I didn't claim the code was optimal.