X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=topics%2Fweek2_lambda_intro.mdwn;fp=topics%2Fweek2_lambda_intro.mdwn;h=4b0917529eb8041f64e6e43f42de0c2cad17de54;hp=0b894579c4f9e9da933f8470fc8534ba4f4a4ff0;hb=78f68281c09f763719e8bdabb95afcc392d063d6;hpb=9412638eb0c74f8e462440c244edc7b5c81cfeec diff --git a/topics/week2_lambda_intro.mdwn b/topics/week2_lambda_intro.mdwn index 0b894579..4b091752 100644 --- a/topics/week2_lambda_intro.mdwn +++ b/topics/week2_lambda_intro.mdwn @@ -437,7 +437,7 @@ expressions to assign values to variables. For instance, let x match 2 in (x, x) -evaluates to the ordered pair (2, 2). It may be helpful to think of +evaluates to the ordered pair `(2, 2)`. It may be helpful to think of a redex in the lambda calculus as a particular sort of `let` construction.