added sort as duplicate of quicksort

svn: r10283
This commit is contained in:
Matthias Felleisen 2008-06-16 13:56:35 +00:00
parent 913fa9408f
commit 269595665c

View File

@ -26,6 +26,8 @@
"(build-string n f) = (string (f 0) ... (f (- n 1)))")
((intermediate-quicksort quicksort) ((listof X) (X X -> boolean) -> (listof X))
"to construct a list from all items on a list in an order according to a predicate")
((intermediate-quicksort sort) ((listof X) (X X -> boolean) -> (listof X))
"to construct a list from all items on a list in an order according to a predicate")
(andmap ((X -> boolean) (listof X) -> boolean)
"(andmap p (list x-1 ... x-n)) = (and (p x-1) (and ... (p x-n)))")
(ormap ((X -> boolean) (listof X) -> boolean)