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


_______________________________________________
r6rs-discuss mailing list
[email protected]
http://lists.r6rs.org/cgi-bin/mailman/listinfo/r6rs-discuss

Reply via email to