From: jim Date: Sun, 8 Feb 2015 21:33:47 +0000 (-0500) Subject: markup X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=9412638eb0c74f8e462440c244edc7b5c81cfeec;hp=84ec0499bf09cef81baebac94ac31c72c56f4193 markup --- 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