Merge sort

In progress…

Properties

λ merge_sort