2 Sorting
This section contains a number of well-known sorting algorithms, mostly
programmed as list-soring in a functional style. The functional
implementations all given as functors with the same inface, where
SORT specifies the interface for list-sorting. This interface
is shown only for bubble-sort; the others are analogous.
To test the implementation, the module Randlist allows to
generate random lists of integers.
January 31, 2002