On Sun, Sep 29, 2013 at 1:40 PM, Henning Thielemann <
lemm...@henning-thielemann.de> wrote:
>
> In Richard Bird's "Functional Pearls in Algorithm Design" there is chapter
> 10 "Removing duplicates" which is about a fast and sorting variant of
> 'nub'. After reading the introduction of the chapter
On Sun, 29 Sep 2013 21:40:28 +0100, Henning Thielemann
wrote:
In Richard Bird's "Functional Pearls in Algorithm Design" there is
chapter 10 "Removing duplicates" which is about a fast and sorting
variant of 'nub'. After reading the introduction of the chapter I
answered mentally "Set.t