From: Chris Date: Thu, 9 Apr 2015 19:16:12 +0000 (-0400) Subject: edits X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=9e249131827f4f17862110e1dddf34b8895de613;hp=ff9ac58604272622b430b2d775610ca7298e9199 edits --- diff --git a/topics/_week10_gsv.mdwn b/topics/_week10_gsv.mdwn index facd6a1d..d6175942 100644 --- a/topics/_week10_gsv.mdwn +++ b/topics/_week10_gsv.mdwn @@ -578,8 +578,7 @@ object that it can refer to. Here is what GSV say: A term is an identifier per se if no mattter what the information state is, it cannot fail to decie what the denotation of the term is. -## Why articulate the mapping from variables to objects into two - parts? +## Why articulate the mapping from variables to objects into two parts? In the current system, variables are associated with values in two steps.