projects
/
lambda.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
add Church encodings
[lambda.git]
/
topics
/
_assignment2.mdwn
diff --git
a/topics/_assignment2.mdwn
b/topics/_assignment2.mdwn
index
e223cd1
..
bacd676
100644
(file)
--- a/
topics/_assignment2.mdwn
+++ b/
topics/_assignment2.mdwn
@@
-163,7
+163,10
@@
Numbers
26. Given that we've agreed to Church's encoding of the numbers:
26. Given that we've agreed to Church's encoding of the numbers:
- BLAH
+ <code>0 ≡ \f z. z
+ <code>1 ≡ \f z. f z
+ <code>2 ≡ \f z. f (f z)
+ <code>3 ≡ \f z. f (f (f z))
+ <code>...</code>
How would you express the `succ` function in the Lambda Calculus?
How would you express the `succ` function in the Lambda Calculus?
-