1 12687dd9 2023-08-04 jrmu ;; The first three lines of this file were inserted by DrScheme. They record metadata
2 12687dd9 2023-08-04 jrmu ;; about the language level of this file in a form that our tools can easily process.
3 12687dd9 2023-08-04 jrmu #reader(lib "htdp-intermediate-reader.ss" "lang")((modname 19.1.0) (read-case-sensitive #t) (teachpacks ((lib "draw.ss" "teachpack" "htdp"))) (htdp-settings #(#t constructor repeating-decimal #f #t none #f ((lib "draw.ss" "teachpack" "htdp")))))
4 12687dd9 2023-08-04 jrmu (define (filter1 rel-op alon t)
6 12687dd9 2023-08-04 jrmu [(empty? alon) empty]
8 12687dd9 2023-08-04 jrmu [(rel-op (first alon) t)
9 12687dd9 2023-08-04 jrmu (cons (first alon)
10 12687dd9 2023-08-04 jrmu (filter1 rel-op (rest alon) t))]
12 12687dd9 2023-08-04 jrmu (filter1 rel-op (rest alon) t)])]))
14 12687dd9 2023-08-04 jrmu (filter1 < (cons 6 (cons 4 empty)) 5)
17 12687dd9 2023-08-04 jrmu [false empty]
20 12687dd9 2023-08-04 jrmu (cons (first (cons 6 (cons 4 empty)))
21 12687dd9 2023-08-04 jrmu (filter1 rel-op (rest (cons 6 (cons 4 empty))) 5))]
23 12687dd9 2023-08-04 jrmu (filter1 < (rest (cons 6 (cons 4 empty))) 5)])])
25 12687dd9 2023-08-04 jrmu (filter1 < (rest (cons 6 (cons 4 empty))) 5)
28 12687dd9 2023-08-04 jrmu [false empty]
31 12687dd9 2023-08-04 jrmu (cons (first (cons 4 empty))
32 12687dd9 2023-08-04 jrmu (filter1 rel-op (rest (cons 4 empty)) 5))]
34 12687dd9 2023-08-04 jrmu (filter1 < (rest (cons 4 empty)) 5)])])
36 12687dd9 2023-08-04 jrmu (cons (first (cons 4 empty))
37 12687dd9 2023-08-04 jrmu (filter1 rel-op (rest (cons 4 empty)) 5))
39 12687dd9 2023-08-04 jrmu (cons 4 (filter1 rel-op (rest (cons 4 empty)) 5))
41 12687dd9 2023-08-04 jrmu (cons 4 (filter1 < empty) 5)
42 12687dd9 2023-08-04 jrmu (cons 4 empty)
44 12687dd9 2023-08-04 jrmu (filter1 > (cons 8 (cons 6 (cons 4 empty))) 5)
47 12687dd9 2023-08-04 jrmu [(empty? alon) empty]
49 12687dd9 2023-08-04 jrmu [(rel-op (first alon) t)
50 12687dd9 2023-08-04 jrmu (cons (first alon)
51 12687dd9 2023-08-04 jrmu (filter1 rel-op (rest alon) t))]
53 12687dd9 2023-08-04 jrmu (filter1 rel-op (rest alon) t)])])
55 12687dd9 2023-08-04 jrmu (cons 8 (filter1 > (cons 6 (cons 4 empty)) 5))
56 12687dd9 2023-08-04 jrmu (cons 8 (cons 6 (filter1 > (cons 4 empty) 5)))
57 12687dd9 2023-08-04 jrmu (cons 8 (cons 6 (filter1 > empty 5)))
58 12687dd9 2023-08-04 jrmu (cons 8 (cons 6 empty))