FrogBattle e58a5e6842 Update tim_sort.py (#972)
* Update tim_sort.py


Update tim_sort.py

The previous algorithm was skipping numbers, according to issue #959, and my own tests.
The version I am applying uses a while loop, which works correctly and is easier to compute, as there is no break statement.

* Update tim_sort.py
2019-07-30 18:06:48 +02:00
..
2019-05-26 21:56:10 +05:30
2019-07-03 23:31:10 +08:00
2019-05-24 22:46:39 +05:30
2019-06-28 23:55:31 +08:00
2018-10-07 14:33:56 +05:30
2019-07-30 18:06:48 +02:00