3 ms·
I love how they handled sorting in Python: https://en.wikipedia.org/wiki/Timsort https://en.wikipedia.org/wiki/Timsort. Good for vast majority of use-cases + fo
by tokamak 4y ago
I love how they handled sorting in Python: https://en.wikipedia.org/wiki/Timsort https://en.wikipedia.org/wiki/Timsort. Good for vast majority of use-cases + formal verification.