From: Jim Pryor Date: Fri, 19 Nov 2010 13:08:34 +0000 (-0500) Subject: assignment7 tweaks X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=f5ee0222f8fe5d7b91e1e4c813350d2bd6005940 assignment7 tweaks Signed-off-by: Jim Pryor --- diff --git a/hints/assignment_7_hint_4.mdwn b/hints/assignment_7_hint_4.mdwn index 71ed621b..a9c6c05b 100644 --- a/hints/assignment_7_hint_4.mdwn +++ b/hints/assignment_7_hint_4.mdwn @@ -95,7 +95,7 @@ which is: - in fun truth_value -> + fun truth_value -> if truth_value then unit_set ( fun (r, h) -> @@ -107,7 +107,7 @@ which is: - in fun truth_value -> + fun truth_value -> if truth_value then unit_set ( fun (r, h) ->