projects
/
lambda.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (from parent 1:
84ec049
)
markup
author
jim
<jim@web>
Sun, 8 Feb 2015 21:33:47 +0000
(16:33 -0500)
committer
Linux User
<ikiwiki@localhost.members.linode.com>
Sun, 8 Feb 2015 21:33:47 +0000
(16:33 -0500)
topics/week2_lambda_intro.mdwn
patch
|
blob
|
history
diff --git
a/topics/week2_lambda_intro.mdwn
b/topics/week2_lambda_intro.mdwn
index
d002abf
..
0b89457
100644
(file)
--- a/
topics/week2_lambda_intro.mdwn
+++ b/
topics/week2_lambda_intro.mdwn
@@
-317,7
+317,7
@@
are distinct lambda expressions:
(\z z)
(\z z)
-yet when applied to any argument
M, all of these will always return M
. So they
+yet when applied to any argument
`M`, all of these will always return `M`
. So they
have the same extension. It's also true, though you may not yet be in a
position to see, that no other function can differentiate between them when
they're supplied as an argument to it. However, these expressions are all
have the same extension. It's also true, though you may not yet be in a
position to see, that no other function can differentiate between them when
they're supplied as an argument to it. However, these expressions are all