On Wed, Oct 16, 2013 at 11:46 PM, Yitzchak Gale <gale@sefer.org> wrote:

I'm not saying that it wouldn't be worthwhile to add a standard
well-optimized implementation of nubOrd somewhere.
But nub is a very useful function.

In many cases, an elementary operational semantics beats something more complicated, even if faster.

Please don't kill nub.

-- Kim-Ee