X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=week4.mdwn;h=47d9c34bcce5578c363b0fbe551736e7e441864b;hp=6ca6d6867cee1806f63a9f73f42957485d10a8a6;hb=e22f82c2e4dfc0c1e142d2878b145dcf8a31ae63;hpb=3f7d7a54356fe2f0e310ff44c1f69425ddfcfc45

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?