From: Jim Pryor Date: Thu, 18 Nov 2010 17:35:57 +0000 (-0500) Subject: assignment7 tweaks X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=7330fcd3271805e9de86087665471d0ce668aa56 assignment7 tweaks Signed-off-by: Jim Pryor --- diff --git a/assignment7.mdwn b/assignment7.mdwn index 93b1ccff..dd325bb2 100644 --- a/assignment7.mdwn +++ b/assignment7.mdwn @@ -12,7 +12,7 @@ * You don't need to re-express the epistemic modality part of their semantics, just the treatment of indefinites. Though extra credit if you do the whole thing. - * You'll want to use the implementation of "implicitly represented" mutable variables that we discussed at the end of this week's meeting, or the "state monad" Chris presented, which is a simple version of the former. Conceptually, though, it's sometimes useful to switch back and forth between the "implicitly represented" model and the "explicitly represented" model. + * You'll want to use the implementation of "implicitly represented" mutable variables that we discussed at the end of this week's meeting, or the "state monad" Chris presented, which is a simple version of the former. * Here are some [hints](/hints/assignment_7_hint_1).