projects
/
lambda.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
92b29e2
)
(no commit message)
author
chris
<chris@web>
Mon, 16 Mar 2015 14:24:01 +0000
(10:24 -0400)
committer
Linux User
<ikiwiki@localhost.members.linode.com>
Mon, 16 Mar 2015 14:24:01 +0000
(10:24 -0400)
topics/_week6_plexy.mdwn
patch
|
blob
|
history
diff --git
a/topics/_week6_plexy.mdwn
b/topics/_week6_plexy.mdwn
index
b93c29e
..
897dc8e
100644
(file)
--- 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,