From e22f82c2e4dfc0c1e142d2878b145dcf8a31ae63 Mon Sep 17 00:00:00 2001 From: Chris Barker Date: Sat, 2 Oct 2010 15:22:23 -0400 Subject: [PATCH] edits --- week4.mdwn | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/week4.mdwn b/week4.mdwn index 6ca6d686..47d9c34b 100644 --- a/week4.mdwn +++ b/week4.mdwn @@ -1,7 +1,6 @@ [[!toc]] -#These notes return to the topic of fixed point combiantors for one - more return to the topic of fixed point combinators# +#These notes return to the topic of fixed point combiantors for one more return to the topic of fixed point combinators# Q: How do you know that every term in the untyped lambda calculus has a fixed point? -- 2.11.0