Lists can be Nested
Arbitrarily-Deeply
lList of lists of
lists:
[ [ [1, 2, 3], [2, 3] ], [ [3], [] ] ]
[[3, 8], [1, 5], [2, 7], [4, 6]]
[[1, 3, 5, 8], [2, 4, 6, 7]]
[[1, 2, 3, 4, 5, 6, 7, 8]]
[ [ [1, 2, 3], [2, 3] ], [ [3], [] ] ]
lLists of lists during
Òsort by repeated mergingÓ:
[[3], [8], [5], [1],
[2], [7], [6], [4]][[3, 8], [1, 5], [2, 7], [4, 6]]
[[1, 3, 5, 8], [2, 4, 6, 7]]
[[1, 2, 3, 4, 5, 6, 7, 8]]