MinSort.curry 1.55 KB