projects / lambda.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: c755fb3)
typo
authorChris <chris.barker@nyu.edu>
Tue, 17 Feb 2015 23:30:08 +0000 (18:30 -0500)
committerChris <chris.barker@nyu.edu>
Tue, 17 Feb 2015 23:30:08 +0000 (18:30 -0500)
topics/_week4_fixed_point_combinator.mdwn patch | blob | history

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)))))
 
                ~~> \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. 
 
 So our fixed point recipe has delivere a reasonable candidate for
 arithmetic infinity. 
NYU Lambda Wiki v2