From 1d5249432378066bbe948bfe0b303704e18468a5 Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Fri, 19 Nov 2010 09:04:23 -0500 Subject: [PATCH] assignment7 tweaks Signed-off-by: Jim Pryor --- hints/assignment_7_hint_4.mdwn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/hints/assignment_7_hint_4.mdwn b/hints/assignment_7_hint_4.mdwn index 1ae1a7a5..e4f0a790 100644 --- a/hints/assignment_7_hint_4.mdwn +++ b/hints/assignment_7_hint_4.mdwn @@ -46,7 +46,7 @@ Finally, we realize that we're going to have a set of `bool dpm`s to start with, and we need to compose \[[Qx]] with them. We don't want any of the monadic values in the set that wrap `false` to become `true`; instead, we want to apply a filter that checks whether values that formerly wrapped `true` should still continue to do so. - This is most easily done like this: + This could be handled like this: fun entity_dpm -> let eliminate_non_Qxs = fun truth_value -> -- 2.11.0