From: Jim Pryor Date: Thu, 18 Nov 2010 19:16:17 +0000 (-0500) Subject: assignment7 tweaks X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=93959d9837f69e3018268d5d7cdb23dce6e96456;hp=a63e962a82f5136828fa6688a12d259cb09c5a4e assignment7 tweaks Signed-off-by: Jim Pryor --- diff --git a/hints/assignment_7_hint_3.mdwn b/hints/assignment_7_hint_3.mdwn index 838a2af0..1646f038 100644 --- a/hints/assignment_7_hint_3.mdwn +++ b/hints/assignment_7_hint_3.mdwn @@ -7,7 +7,7 @@ We're going to keep all of that, except dropping the worlds. And instead of talking about -> \[[expression]] in discourse possibility `(r, g, w)` +> \[[expression]] in possibility `(r, g, w)` we'll just talk about \[[expression]] and let that be a monadic object, implemented in part by a function that takes `(r, g)` as an argument.