Re: [Haskell-cafe] ordNub

On Wed, Oct 16, 2013 at 11:46 PM, Yitzchak Gale 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.

+1 In many cases, an elementary operational semantics beats something more complicated, even if faster. Please don't kill nub. -- Kim-Ee