3 ms·
So sort ≡ head ∘ sort ∘ permutations I wonder if there is some neat (and totally useless) algorithm for sort using that info.
by lelf 8y ago
So
sort ≡ head ∘ sort ∘ permutations
I wonder if there is some neat (and totally useless) algorithm for sort using that info.