X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=assignment7.mdwn;h=d6cb6813125279b02da88d34757d4d75b92415e6;hp=5db178b2778ba1807ef6a904cbbe0ae862cf5550;hb=303e7febec777213e5e8d2b305406c2684dcac6a;hpb=55a603b0e0ef6a5d020f3b025ec87b1bef17c7a7

diff --git a/assignment7.mdwn b/assignment7.mdwn
index 5db178b2..d6cb6813 100644
--- a/assignment7.mdwn
+++ b/assignment7.mdwn
@@ -19,7 +19,7 @@
 
 	*	You don't need to re-express the epistemic modality part of their semantics, just their treatment of extensional predicate logic. Though extra credit if you want to 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.
+	*	You'll want to use "implicitly represented" mutable variables, or a State monad.
 
 	*	Here are some [hints](/hints/assignment_7_hint_1).