assignment7 tweaks

[lambda.git] / hints / assignment_7_hint_4.mdwn

diff --git a/hints/assignment_7_hint_4.mdwn b/hints/assignment_7_hint_4.mdwn
index 278ca81..a9c6c05 100644 (file)
--- a/hints/assignment_7_hint_4.mdwn
+++ b/hints/assignment_7_hint_4.mdwn
@@ -79,7 +79,7 @@
                        then unit_set (bind_dpm getx (fun e -> unit_dpm (Q e)))
                        else empty_set
 
-       which is:
+       unpacking the definition of `bind_dpm`, that is:
 
                let getx = fun (r, h) ->
                        let obj = List.nth h (r 'x')
@@ -95,7 +95,7 @@
                
        which is:
 
-               in fun truth_value ->
+               fun truth_value ->
                        if truth_value
                        then unit_set (
                                fun (r, h) ->
@@ -107,7 +107,7 @@
                
        which is:
 
-               in fun truth_value ->
+               fun truth_value ->
                        if truth_value
                        then unit_set (
                                fun (r, h) ->