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

diff --git a/week4.mdwn b/week4.mdwn
index 10ab8b99..6ca6d686 100644
--- a/week4.mdwn
+++ b/week4.mdwn
@@ -1,5 +1,8 @@
 [[!toc]]
 
+#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?