Skip to content

Instantly share code, notes, and snippets.

@mjs2600

mjs2600/gist:bf8457dd7172be148439

Created March 12, 2015 18:01
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save mjs2600/bf8457dd7172be148439 to your computer and use it in GitHub Desktop.
Save mjs2600/bf8457dd7172be148439 to your computer and use it in GitHub Desktop.
Download ZIP
Church Numbers
Raw
gistfile1.scm
(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 (((lambda (f)
(lambda (x) x)) f) x)))))
(define two
(lambda (f)
(lambda (x)
(f (((lambda (f)
(lambda (x)
(f (((lambda (f)
(lambda (x) x)) f) x)))) f) x)))))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment