projects
/
lambda.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
3b7cc51
)
update week1 notes
author
Jim
<jim.pryor@nyu.edu>
Sun, 1 Feb 2015 02:49:26 +0000
(21:49 -0500)
committer
Jim
<jim.pryor@nyu.edu>
Sun, 1 Feb 2015 02:49:26 +0000
(21:49 -0500)
week1.mdwn
patch
|
blob
|
history
diff --git
a/week1.mdwn
b/week1.mdwn
index
c75da69
..
4381ebe
100644
(file)
--- a/
week1.mdwn
+++ b/
week1.mdwn
@@
-134,11
+134,11
@@
If we restricted ourselves to only that usage of λ-expressions, that is w
However, it's tempting to help ourselves to the notion (at least partly) *unapplied* λ-expressions, too. If I can make sense of what:
However, it's tempting to help ourselves to the notion (at least partly) *unapplied* λ-expressions, too. If I can make sense of what:
- (λ x. x + 1) 5
+`(`λ `x. x + 1) 5`
means, then I can make sense of what:
means, then I can make sense of what:
- (λ x. x + 1)
+`(`λ `x. x + 1)`
means, too. It's just *the function* that waits for an argument and then returns the result of `x + 1` with `x` bound to that argument.
means, too. It's just *the function* that waits for an argument and then returns the result of `x + 1` with `x` bound to that argument.