From 49e86f8055bd81ff9f771d5be90c9418645249b3 Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Tue, 30 Nov 2010 15:24:09 -0500 Subject: [PATCH] Simon found bug in ass7/not Signed-off-by: Jim Pryor --- hints/assignment_7_hint_6.mdwn | 2 ++ 1 file changed, 2 insertions(+) diff --git a/hints/assignment_7_hint_6.mdwn b/hints/assignment_7_hint_6.mdwn index 77b47926..38f6c2e0 100644 --- a/hints/assignment_7_hint_6.mdwn +++ b/hints/assignment_7_hint_6.mdwn @@ -27,6 +27,8 @@ in unit_set new_dpm;; + **Note: Simon pointed out a subtle error in this code, which we will look into fixing. At the moment, the subtle error is still there.** + * Representing \[[and φ ψ]] is simple: let and_op (phi : clause) (psi : clause) : clause = -- 2.11.0