From df8bd50a5d83e9b3f4086d1cb944a603d77181a7 Mon Sep 17 00:00:00 2001 From: Chris Barker Date: Sun, 26 Sep 2010 18:04:11 -0400 Subject: [PATCH] edits --- week3.mdwn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.11.0