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 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)))