From 401a63312ecb386247e23ebc0e1426652bfae3b5 Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Wed, 15 Sep 2010 20:22:31 -0400 Subject: [PATCH] week1: tweaks Signed-off-by: Jim Pryor --- week1.mdwn | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/week1.mdwn b/week1.mdwn index 92bf533c..e175b6bb 100644 --- a/week1.mdwn +++ b/week1.mdwn @@ -437,7 +437,11 @@ Here's how it looks to say the same thing in various of these languages. (fun x -> ((fun x -> x) 2) 3) - and there's no more change of state going on here than there is in &exists;x. (F x and &exists;x (not (F x))). + and there's no more change of state going on here than there is in: + +
+ ∃x. (F x and ∃x (not (F x))) +
Some more comparisons between Scheme and OCaml -- 2.11.0