assignment7 tweaks

[lambda.git] / hints / assignment_7_hint_3.mdwn

diff --git a/hints/assignment_7_hint_3.mdwn b/hints/assignment_7_hint_3.mdwn
index 7cc2e74..53731f7 100644 (file)
--- 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]]