ass7 typos fixed, thanks Simon

Signed-off-by: Jim Pryor <profjim@jimpryor.net>

diff --git a/hints/assignment_7_hint_6.mdwn b/hints/assignment_7_hint_6.mdwn
index d69c92e..77b4792 100644 (file)
--- a/hints/assignment_7_hint_6.mdwn
+++ b/hints/assignment_7_hint_6.mdwn
@@ -39,7 +39,7 @@
                let or_op (phi : clause) (psi : clause) =
             fun one_dpm -> unit_set (
                 fun (r, h) ->
                let or_op (phi : clause) (psi : clause) =
             fun one_dpm -> unit_set (
                 fun (r, h) ->

-                                       in let truth_value' = (
+                                       let truth_value' = (

                                                truths (phi one_dpm) (r, h) <> [] ||
                                                truths (bind_set (negate_op phi one_dpm) psi) (r, h) <> []
                                        ) in (truth_value', r, h))
                                                truths (phi one_dpm) (r, h) <> [] ||
                                                truths (bind_set (negate_op phi one_dpm) psi) (r, h) <> []
                                        ) in (truth_value', r, h))


@@ -47,7 +47,7 @@
                let if_op (phi : clause) (psi : clause) : clause =
             fun one_dpm -> unit_set (
               fun (r, h) ->
                let if_op (phi : clause) (psi : clause) : clause =
             fun one_dpm -> unit_set (
               fun (r, h) ->

-                                       in let truth_value' = List.for_all (fun one_dpm ->
+                                       let truth_value' = List.for_all (fun one_dpm ->

                                                        let (truth_value, _, _) = one_dpm (r, h)
                                                        in truth_value = false || truths (psi one_dpm) (r, h) <> []
                                                ) (phi one_dpm)
                                                        let (truth_value, _, _) = one_dpm (r, h)
                                                        in truth_value = false || truths (psi one_dpm) (r, h) <> []
                                                ) (phi one_dpm)