Sorting algorithms/Shell sort: Difference between revisions
Content deleted Content added
Line 1,009:
===For arrays whose elements must be of non-linear type===
The differences from the previous implementation are mainly in the '''gapped_sort''' function. Note that the order predicate now gets its arguments by value instead of by reference.
<lang ats>(* Shell sort with both the gap sequence and the order predicate
|