typo

[lambda.git] / topics / _week4_fixed_point_combinator.mdwn

diff --git a/topics/_week4_fixed_point_combinator.mdwn b/topics/_week4_fixed_point_combinator.mdwn
index 01185c4..eca5fc9 100644 (file)
--- a/topics/_week4_fixed_point_combinator.mdwn
+++ b/topics/_week4_fixed_point_combinator.mdwn
@@ -475,8 +475,8 @@ to our other arithmetic operators.
                ~~> \fz.f(f((\fz.f((\hfz.f(hhfz)) (\hfz.f(hhfz))))fz))
                ~~> \fz.f(f(f((\hfz.f(hhfz)) (\hfz.f(hhfz)))))
 
-So 2 + (HH) <~~> (HH).  This is what we expect from arithmetic infinity.
-You can check to see if 2 * (HH) <~~> (HH).
+So `2 + (HH) <~~> (HH)`.  This is what we expect from arithmetic infinity.
+You can check to see if `2 * (HH) <~~> (HH)`.
 
 So our fixed point recipe has delivere a reasonable candidate for
 arithmetic infinity.