Skip to content

Instantly share code, notes, and snippets.

@vlazzle

vlazzle/gist:5314

Created August 13, 2008 21:59
Show Gist options
  • Save vlazzle/5314 to your computer and use it in GitHub Desktop.
Save vlazzle/5314 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.txt
http://en.wikipedia.org/wiki/Church_numerals#Church_pairs (example)
fst (pair a b)
\p.p (\x.\y.x) ((\x.\y.\z.z x y) a b)
\p.p (\x.\y.x) (\z.z a b)
???
(\z.z a b) (\x.\y.x)
(\x.\y.x) a b
a
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment