Skip to content

Instantly share code, notes, and snippets.

@b0oh

b0oh/inc-zero.scm

Created April 24, 2019 13:39
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/ea0c7b777cd51c2212fe5f8b8d7fd139 to your computer and use it in GitHub Desktop.
Save b0oh/ea0c7b777cd51c2212fe5f8b8d7fd139 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
inc-zero.scm
((@fun (zero)
((@fun (inc)
(inc zero))
(@fun (nat next init)
(next
(nat next init)))))
(@fun (_next init)
init))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment