From 91d23f0c0f3da056a43c0e7c94a7b3d9d51f5783 Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Thu, 18 Nov 2010 17:52:09 -0500 Subject: [PATCH 1/1] assignment7 tweaks Signed-off-by: Jim Pryor --- hints/assignment_7_hint_3.mdwn | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/hints/assignment_7_hint_3.mdwn b/hints/assignment_7_hint_3.mdwn index 7cc2e74a..53731f70 100644 --- a/hints/assignment_7_hint_3.mdwn +++ b/hints/assignment_7_hint_3.mdwn @@ -41,15 +41,15 @@ More specifically, \[[expression]] will be a set of `'a discourse_possibility` m We can call the `(fun (r, g) -> ...)` part \[[Qx]] and then updating `s` with \[[Qx]] will be: - bind_set s [[Qx]] + bind_set s \[[Qx]] or as it's written using Haskell's infix notation for bind: - s >>= [[Qx]] + s >>= \[[Qx]] * Now how shall we handle \[[∃x]]. As we said, GS&V really tell us how to interpret \[[∃xPx]], but what they say about this breaks naturally into two pieces, such that we can represent the update of `s` with \[[∃xPx]] as: - s >>= [[∃x]] >>= [[Px]] + s >>= \[[∃x]] >>= \[[Px]] -- 2.11.0