Skip to content

Instantly share code, notes, and snippets.

@ayrat555

ayrat555/Y-combinator.lisp

Created September 22, 2018 06:02
Show Gist options
  • Save ayrat555/51f194bd8df69b042975e086baf3ed5c to your computer and use it in GitHub Desktop.
Save ayrat555/51f194bd8df69b042975e086baf3ed5c to your computer and use it in GitHub Desktop.
Download ZIP
Raw
Y-combinator.lisp
Y = (lambda (f)
((lambda (x) (f (x x)))
(lambda (x) (f (x x))))
(Y F) = ((lambda (x) (F (x x)))
(lambda (x) (F (x x))))
= (F ((lambda (x) (F (x x))) (lambda (x) (F x x))))
(Y F) = (F (Y F))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment