From 8e91eed999622b45d169949f7f7de32f491e20e7 Mon Sep 17 00:00:00 2001
From: Jim Pryor <profjim@jimpryor.net>
Date: Sun, 19 Sep 2010 13:14:34 -0400
Subject: [PATCH] week1 fixes

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
---
 week1.mdwn | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/week1.mdwn b/week1.mdwn
index 92116551..967f8144 100644
--- a/week1.mdwn
+++ b/week1.mdwn
@@ -37,7 +37,6 @@ We'll tend to write <code>(&lambda;a M)</code> as just `(\a M)`, so we don't hav
 <strong>Application</strong>: <code>(M N)</code>
 </blockquote>
 
-Some authors reserve the term "term" for just variables and abstracts. We'll probably just say "term" and "expression" indiscriminately for expressions of any of these three forms.
 
 Examples of expressions:
 
@@ -357,6 +356,9 @@ combinatorial logic</td>
 </table>
 
 
+[Correction: OCaml is Turing complete, but I'm not sure if the merely functional part is; I suspect it's not.]
+
+
 Rosetta Stone
 =============
 
-- 
2.11.0