projects
/
lambda.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
5fdf350
)
compare `cons`
author
jim
<jim@web>
Tue, 10 Feb 2015 03:35:30 +0000
(22:35 -0500)
committer
Linux User
<ikiwiki@localhost.members.linode.com>
Tue, 10 Feb 2015 03:35:30 +0000
(22:35 -0500)
exercises/assignment2_answers.mdwn
patch
|
blob
|
history
diff --git
a/exercises/assignment2_answers.mdwn
b/exercises/assignment2_answers.mdwn
index
f4d6786
..
ad017f0
100644
(file)
--- a/
exercises/assignment2_answers.mdwn
+++ b/
exercises/assignment2_answers.mdwn
@@
-202,5
+202,8
@@
Numbers
How would you express the `succ` function in the Lambda Calculus?
How would you express the `succ` function in the Lambda Calculus?
- let succ = \n. \f z. f (n f z)
+ let succ = \n. \f z. f (n f z)
in ...
+ Compare the definition of `cons`, which has an additional element:
+
+ <code>let cons = \<u>d</u> ds. \f z. f <u>d</u> (ds f z) in ...</code>