X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=assignment7.mdwn;h=dd325bb2563796fda0212f858f276f49734f3508;hp=93b1ccffa859d24b1f7e793162017e9c1ea7f956;hb=0ff7150faf184995929760e39abf00eb65a9690b;hpb=535418d6237eee421ceae64d611737b4c481fc97

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).