1 665c255d 2023-08-04 jrmu (define (cons x y)
 2 665c255d 2023-08-04 jrmu   (lambda (m) (m x y)))
 3 665c255d 2023-08-04 jrmu (define (car z)
 4 665c255d 2023-08-04 jrmu   (z (lambda (p q) p)))
 5 665c255d 2023-08-04 jrmu 
 6 665c255d 2023-08-04 jrmu (car (cons x y))
 7 665c255d 2023-08-04 jrmu ((lambda (m) (m x y)) (lambda (p q) p))
 8 665c255d 2023-08-04 jrmu ((lambda (p q) p) x y)
 9 665c255d 2023-08-04 jrmu x
10 665c255d 2023-08-04 jrmu ;; Check to see that (car (cons x y)) = x
11 665c255d 2023-08-04 jrmu 
12 665c255d 2023-08-04 jrmu (define (cdr z)
13 665c255d 2023-08-04 jrmu   (z (lambda (p q) q)))
14 665c255d 2023-08-04 jrmu (cdr (cons x y))
15 665c255d 2023-08-04 jrmu ((lambda (m) (m x y)) (lambda (p q) q))
16 665c255d 2023-08-04 jrmu ((lambda (p q) q) x y)
17 665c255d 2023-08-04 jrmu