assignment7 tweaks

[lambda.git] / assignment7.mdwn

diff --git a/assignment7.mdwn b/assignment7.mdwn
index dd325bb..0d5d45a 100644 (file)
--- a/assignment7.mdwn
+++ b/assignment7.mdwn
@@ -10,7 +10,7 @@
 
        Some advice:
 
 
        Some advice:
 

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