Does performance matter when seeking "simple" examples? I vote for quicksort - not because it's quick, but because its implementation has the same form as its

Does performance matter when seeking "simple" examples? I vote for quicksort - not because it's quick, but because its implementation has the same form as its proof. It's simple if you use the Erlang-style version.