From 3f7d7a54356fe2f0e310ff44c1f69425ddfcfc45 Mon Sep 17 00:00:00 2001 From: Chris Barker Date: Sat, 2 Oct 2010 15:22:06 -0400 Subject: [PATCH 1/1] edits --- week4.mdwn | 3 +++ 1 file changed, 3 insertions(+) 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? -- 2.11.0