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