edits

diff --git a/week3.mdwn b/week3.mdwn
index 45aa5b3..c66526d 100644 (file)
--- a/week3.mdwn
+++ b/week3.mdwn
@@ -443,7 +443,7 @@ it returns I.  That is, we want the following behavior:
     sink true true false ~~> I
     sink true true true false ~~> I
 
     sink true true false ~~> I
     sink true true true false ~~> I
 

-So we make sink = Y (\fb.bfI): 
+So we make sink = Y (\f b. b f I): 

 
     1. sink false 
     2. Y (\fb.bfI) false
 
     1. sink false 
     2. Y (\fb.bfI) false