Skip to content

Instantly share code, notes, and snippets.

@JerryNyoike

JerryNyoike/churchnum.scm

Created May 7, 2020 17:26
Show Gist options
  • Save JerryNyoike/2734636e8d9784ddb8dda047bd01fefd to your computer and use it in GitHub Desktop.
Save JerryNyoike/2734636e8d9784ddb8dda047bd01fefd to your computer and use it in GitHub Desktop.
Download ZIP
Raw
churchnum.scm
(declare (usual-integrations))
(define zero (lambda (f) (lambda (x) x)))
(define one (lambda (f) (lambda (x) (f (f x)))))
(define add (lambda (m)
(lambda (n)
(lambda (f)
(lambda (x)
(m (f (n (f x))))))))))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment