I saw this different looking quick sort function in a text. I understand it splits a list, with one sublist containing values <= some pivot value and the other with value
