From: chris <chris@web>
Date: Mon, 16 Mar 2015 14:24:01 +0000 (-0400)
Subject: (no commit message)
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=3594348c7f81331c5c6e91c47230710fc9c5873e

---

diff --git a/topics/_week6_plexy.mdwn b/topics/_week6_plexy.mdwn
index b93c29eb..897dc8ec 100644
--- a/topics/_week6_plexy.mdwn
+++ b/topics/_week6_plexy.mdwn
@@ -50,7 +50,7 @@ nicety is not crucial to our discussion here.)
 ## Types to the rescue
 
 Kaplan's solution is, in effect, to impose a type system on his
-grammar in such a way that structured meanings cannot be confused with
+grammar in such a way that complex structured meanings cannot be confused with
 the referent of a directly-referential term.  He suggests that the
 meaning of a directly referential term always be marked by a special
 bit of structure that is unique to direct reference.  More concretely,