From f11a699ac67b365eafa12cf64395180bdb982195 Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Wed, 15 Sep 2010 20:24:58 -0400 Subject: [PATCH] week1: tweaks Signed-off-by: Jim Pryor --- week1.mdwn | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/week1.mdwn b/week1.mdwn index 40c8310f..686793c3 100644 --- a/week1.mdwn +++ b/week1.mdwn @@ -431,16 +431,16 @@ Here's how it looks to say the same thing in various of these languages. int x = 3; x = 2; - *but it's not the same!* In the latter case we have mutation, in the former case we don't. You will learn to recognize the difference as we proceed. + but it's not the same! In the latter case we have mutation, in the former case we don't. You will learn to recognize the difference as we proceed. The OCaml expression just means: (fun x -> ((fun x -> x) 2) 3) - and there's no more change of state going on here than there is in: + and there's no more mutation going on there than there is in: 
-	∃x. (F x and ∃x (not (F x)))
+	∀x. (F x or ∀x (not (F x)))
-- 2.11.0