X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=topics%2Fweek2_lambda_intro.mdwn;h=0b894579c4f9e9da933f8470fc8534ba4f4a4ff0;hp=d002abf8da0287a592c2286749f95f22a2326ab6;hb=9412638eb0c74f8e462440c244edc7b5c81cfeec;hpb=84ec0499bf09cef81baebac94ac31c72c56f4193 diff --git a/topics/week2_lambda_intro.mdwn b/topics/week2_lambda_intro.mdwn index d002abf8..0b894579 100644 --- a/topics/week2_lambda_intro.mdwn +++ b/topics/week2_lambda_intro.mdwn @@ -317,7 +317,7 @@ are distinct lambda expressions: (\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