sicp 2.6

sicp_2_6

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

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

(define zero??
  (lambda (n) ((n (lambda (x) #f)) #t)))

(define (n-1 n)
  (lambda (f) (lambda (x) (((n (lambda (g) (lambda (h) (h (g f)))))
                            (lambda (u) x))
                           (lambda (u) u)))))
(define (get-number n)
  (if (zero?? n)
      0
      (+ 1 (get-number (n-1 n)))))
(get-number (add-1 zero))

(define (mult m n)
  (lambda (f) (n (m f))))

(get-number (mult two (add-1 two)))