From 82981fcd3e99f6f2927c2a958340800fbd842d9c Mon Sep 17 00:00:00 2001 From: Chris Date: Tue, 17 Feb 2015 18:30:08 -0500 Subject: [PATCH] typo --- topics/_week4_fixed_point_combinator.mdwn | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/topics/_week4_fixed_point_combinator.mdwn b/topics/_week4_fixed_point_combinator.mdwn index 01185c40..eca5fc99 100644 --- 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. -- 2.11.0