projects
/
lambda.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
add comment
[lambda.git]
/
topics
/
week2_lambda_intro.mdwn
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):
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 -->
> `(\x (\y (y x)))` reorders its two arguments:
`(((\x (\y (y x))) M) N) ~~> (N M)` <!-- **T**; C is \uvx.uxv -->