projects / lambda.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 3f7d7a5)
edits
authorChris Barker <barker@kappa.linguistics.fas.nyu.edu>
Sat, 2 Oct 2010 19:22:23 +0000 (15:22 -0400)
committerChris Barker <barker@kappa.linguistics.fas.nyu.edu>
Sat, 2 Oct 2010 19:22:23 +0000 (15:22 -0400)
week4.mdwn patch | blob | history

diff --git a/week4.mdwn b/week4.mdwn
index 6ca6d68..47d9c34 100644 (file)
--- 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?
NYU Lambda Wiki v2