Is D's TimSort correct?

[Ali Çehreli via Digitalmars-d]

Some implementation out there are buggy:


http://www.reddit.com/r/programming/comments/2wze7z/proving_that_androids_javas_and_pythons_sorting/

Ali