Skip to content

Instantly share code, notes, and snippets.

@b0oh

b0oh/inc-zero.scm

Created December 17, 2019 11:43
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 b0oh/1b590d85c9eab506824cb378f274ac1c to your computer and use it in GitHub Desktop.
Save b0oh/1b590d85c9eab506824cb378f274ac1c to your computer and use it in GitHub Desktop.
Download ZIP
Raw
inc-zero.scm
((lambda (zero)
((lambda (inc)
(inc zero))
(lambda (nat next init)
(next
(nat next init)))))
(lambda (next init)
init))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment