projects
/
lambda.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
52b49c3
)
add comment
author
jim
<jim@web>
Sat, 7 Feb 2015 18:24:58 +0000
(13:24 -0500)
committer
Linux User
<ikiwiki@localhost.members.linode.com>
Sat, 7 Feb 2015 18:24:58 +0000
(13:24 -0500)
topics/week2_lambda_intro.mdwn
patch
|
blob
|
history
diff --git
a/topics/week2_lambda_intro.mdwn
b/topics/week2_lambda_intro.mdwn
index
3718d31
..
091e123
100644
(file)
--- a/
topics/week2_lambda_intro.mdwn
+++ b/
topics/week2_lambda_intro.mdwn
@@
-270,7
+270,7
@@
For some lambda terms, it is easy to see what function they represent:
simply returns `M`: `((\x x) M) ~~> M`.
> `(\x (x x))` duplicates its argument (applies it to itself):
-`((\x (x x)) M) ~~> (M M)` <!-- **M** or ω; W is \uv.uvv -->
+`((\x (x x)) M) ~~> (M M)` <!-- **M** or ω; W is \uv.uvv
, L is \uv.u(vv)
-->
> `(\x (\y (y x)))` reorders its two arguments:
`(((\x (\y (y x))) M) N) ~~> (N M)` <!-- **T**; C is \uvx.uxv -->