name of List.nub function

John Hughes rjmh@cs.chalmers.se
Fri, 24 May 2002 19:27:26 +0200 (MET DST)


On Fri, 24 May 2002, Tom Schrijvers wrote:

>
> The first result for nub in dictionary.com gives:
> nub   Pronunciation Key  (nb)
> n.
>
> 1. A protuberance or knob.
> 2. A small lump.
> 3. The essence; the core: the nub of a story
>
> I think essence is the right meaning, removing all duplicates.
> Cheers,
> --
> Tom

Yes, that was the reason for the name.

John