From: Jim Pryor Date: Thu, 16 Sep 2010 00:24:58 +0000 (-0400) Subject: week1: tweaks X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=f11a699ac67b365eafa12cf64395180bdb982195;hp=8ea42ae9d2bccd541dfb2f631d4c671c351155b8 week1: tweaks Signed-off-by: Jim Pryor --- 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)))