sort

A simple recursion transformation of a sorting algorithm