BubbleSortFormat.curry 726 Bytes