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

diff --git a/week4.mdwn b/week4.mdwn
index 10ab8b99..47d9c34b 100644
--- a/week4.mdwn
+++ b/week4.mdwn
@@ -1,5 +1,7 @@
 [[!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?