9 lines
388 B
Scheme
9 lines
388 B
Scheme
(define one (lambda (f) (lambda (x) (f x))))
|
|
(define (add a b) (lambda (f) (lambda (x) ((a f) ((b f) x)))))
|
|
(define (mult a b) (lambda (f) (lambda (x) ((a (b f)) x))))
|
|
(define (expo a b) (lambda (f) (lambda (x) (((b a) f) x))))
|
|
(define two (add one one))
|
|
(define six (add two (add two two)))
|
|
(define sixty-four (expo two six))
|
|
(display (mult (expo two sixty-four) (expo two sixty-four)))
|