From 8277b2427a86c3f40f882bcd78c63bc3fd4c80f9 Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Sun, 3 Oct 2010 13:32:32 -0400 Subject: [PATCH] week4 tweaks Signed-off-by: Jim Pryor --- week4.mdwn | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/week4.mdwn b/week4.mdwn index 83d54df1..11eea4cd 100644 --- a/week4.mdwn +++ b/week4.mdwn @@ -8,7 +8,8 @@ TX` (that's what it means to *have* a fixed point). 
let L = \x. T (x x) in
 let X = L L in
-X ≡ L L ≡ (\x. T (x x)) L ~~> T (L L) ≡ T X
+X ≡ L L ≡ (\x. T (x x)) L ~~> T (L L) ≡ T X + Please slow down and make sure that you understand what justified each of the equalities in the last line. -- 2.11.0