In some contexts we wish to specify a number of clauses in an arbitrary order
For presentational clarity, we often want to ensure that the clauses are presented in a particular order
Here we want to generate a leq predicate from an enumeration of the desired order
Expression
Value
(define simple-leq?
(generate-leq '(z a c b y x) id-1))
(sort-list '(a x y z c c b a) simple-leq?)
(z a a c c b y x)
(manual-page
(form '(show-table rows))
(title "show-table")
(description "Presents the table, in terms of rows")
(parameter "row" "a list of elements")
(pre-condition "Must be placed before the begin-notes clause")
(misc "Internally, sets the variable lecture-id")
(result "returns an HTML string")
)
The functions generate-leq and the helping function list-index .
An application of generate-leq which sorts the manual clauses.
