X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=hints%2Fassignment_7_hint_2.mdwn;h=16e66e19ed7708cff8bf4c0441b8ad01c6554b49;hp=07d6a7ce0d72eb78b63a064803c259f051137350;hb=222df8b88fffb66068f2a40eddfc61e51bfe8326;hpb=00fb05d9ee37681282813893ee69ed7441fe1273 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)