From: Jim Pryor Date: Thu, 18 Nov 2010 22:52:09 +0000 (-0500) Subject: assignment7 tweaks X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=91d23f0c0f3da056a43c0e7c94a7b3d9d51f5783;hp=30535a559f5df2bcca773bc9b292cbc8e8896174 assignment7 tweaks Signed-off-by: Jim Pryor --- 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]]