Ken Dickey wrote:
> I have not yet found a sorted? predicate used in an induction
> loop.
There is an implicit use here (adapted from HtDP), by appealing to fact
that (sorted? null) is #t.
(define (sort alon)
(cond
[(null? alon) null]
[else (insert (car alon) (sort (cdr alon)))]))
David