X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=week3.mdwn;h=c66526d3c61bc9267d5aaba6b569b2c5f89be230;hp=45aa5b3d3e95135605be4f61b47275b426aa2cb1;hb=df8bd50a5d83e9b3f4086d1cb944a603d77181a7;hpb=bd9306cd8ed960db37717c40573e8230a9dd65bf

diff --git a/week3.mdwn b/week3.mdwn
index 45aa5b3d..c66526d3 100644
--- 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
 
-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