1 665c255d 2023-08-04 jrmu (defvar zero
 2 665c255d 2023-08-04 jrmu   (lambda (f)
 3 665c255d 2023-08-04 jrmu     (lambda (x) x)))
 4 665c255d 2023-08-04 jrmu (defun add-1 (n)
 5 665c255d 2023-08-04 jrmu   (lambda (f)
 6 665c255d 2023-08-04 jrmu     (lambda (x)
 7 665c255d 2023-08-04 jrmu       (funcall f (funcall (funcall n f) x)))))
 8 665c255d 2023-08-04 jrmu (defvar one
 9 665c255d 2023-08-04 jrmu   (lambda (f)
10 665c255d 2023-08-04 jrmu     (lambda (x) (funcall f x))))
11 665c255d 2023-08-04 jrmu (defvar two
12 665c255d 2023-08-04 jrmu   (lambda (f)
13 665c255d 2023-08-04 jrmu     (lambda (x) (funcall f (funcall f x)))))
14 665c255d 2023-08-04 jrmu (defun add (a b)
15 665c255d 2023-08-04 jrmu   (lambda (f)
16 665c255d 2023-08-04 jrmu     (lambda (x) (funcall (funcall a f) (funcall (funcall b f) x)))))