projects
/
lambda.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
de10882
)
fix markup
author
jim
<jim@web>
Sun, 8 Feb 2015 01:10:27 +0000
(20:10 -0500)
committer
Linux User
<ikiwiki@localhost.members.linode.com>
Sun, 8 Feb 2015 01:10:27 +0000
(20:10 -0500)
topics/_assignment2.mdwn
patch
|
blob
|
history
diff --git
a/topics/_assignment2.mdwn
b/topics/_assignment2.mdwn
index
bacd676
..
946df8f
100644
(file)
--- a/
topics/_assignment2.mdwn
+++ b/
topics/_assignment2.mdwn
@@
-163,10
+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:
- <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>0 ≡ \f z. z
</code>
+ <code>1 ≡ \f z. f z
</code>
+ <code>2 ≡ \f z. f (f z)
</code>
+ <code>3 ≡ \f z. f (f (f z))
</code>
<code>...</code>
How would you express the `succ` function in the Lambda Calculus?
<code>...</code>
How would you express the `succ` function in the Lambda Calculus?