SICP 2.6

チャーチ数。手続きをn回作用させることによって非負の整数nを表現する。
なんだかわからんが解けた。

(define zero (lambda (f) (lambda (x) x)))
(define (add-1 n) (lambda (f) (lambda (x) (f ((n f) x)))))

(define one (lambda (f) (lambda (x) (f x))))
(define two (lambda (f) (lambda (x) (f (f x)))))

(define (+ n m) (lambda (f) (lambda (x) (n ((m f) x)))))