Skip to content

Instantly share code, notes, and snippets.

@Idorobots
Last active December 15, 2015 20:49
Show Gist options
  • Save Idorobots/5321135 to your computer and use it in GitHub Desktop.
Save Idorobots/5321135 to your computer and use it in GitHub Desktop.
Programming the way it should be
((λ Z
((λ nil.
(((((λ null.
(λ cons.
(λ car.
(λ cdr.
(λ life
(the-universe
and-everything))))))
(λ l
(l (λ h
(λ t
(λ n
n))))))
(λ h
(λ t
(λ s
(((s h) t) nil.)))))
(λ l
(l (λ h
(λ t
(λ n h))))))
(λ l
(l (λ h
(λ t
(λ n t)))))))
(Z (λ self
(λ s
(((s self) self) (λ s
self)))))))
(λ f
((λ x
(x x))
(λ g
(f (λ x
((g g) x)))))))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment