edits

[lambda.git] / week4.mdwn

diff --git a/week4.mdwn b/week4.mdwn
index 10ab8b9..6ca6d68 100644 (file)
--- a/week4.mdwn
+++ b/week4.mdwn
@@ -1,5 +1,8 @@
 [[!toc]]
 
 [[!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?
 
 Q: How do you know that every term in the untyped lambda calculus has
 a fixed point?