From: Jim Pryor Date: Thu, 18 Nov 2010 19:12:52 +0000 (-0500) Subject: assignment7 tweaks X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=222df8b88fffb66068f2a40eddfc61e51bfe8326 assignment7 tweaks Signed-off-by: Jim Pryor --- diff --git a/hints/assignment_7_hint_2.mdwn b/hints/assignment_7_hint_2.mdwn index 07d6a7ce..16e66e19 100644 --- a/hints/assignment_7_hint_2.mdwn +++ b/hints/assignment_7_hint_2.mdwn @@ -24,7 +24,7 @@ let bind_set (u: 'a set) (f: 'a -> 'b set) = List.concat (List.map f u);; -The following will be useful later: persuade yourself that `List.filter (test : 'a -> bool) (u : 'a set) : 'a set` is the same as: + The following will be useful later: persuade yourself that `List.filter (test : 'a -> bool) (u : 'a set) : 'a set` is the same as: bind_set u (fun a -> if test a then unit_set a else empty_set)