X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=week2.mdwn;h=49a7e8d5af7632592a80b80b6351058bb97c1a7c;hp=a3dce9b73532ef24a8afe9bc9fa8e777886e8a50;hb=08da0e1fce6f207a276cd6d646b8741ae97a3019;hpb=aaadc20de94685e29c35abbd865e5f35d194e7b9 diff --git a/week2.mdwn b/week2.mdwn index a3dce9b7..49a7e8d5 100644 --- a/week2.mdwn +++ b/week2.mdwn @@ -110,7 +110,7 @@ duplicators. ![reflexive](http://lambda.jimpryor.net/szabolcsi-reflexive.jpg) Notice that the semantic value of *himself* is exactly `W`. -The reflexive pronoun in direct object position combines first with the transitive verb (involving a simple and well-motivated combinator that we won't pause to discuss here). The result is an intransitive verb phrase that takes a subject argument, duplicates that argument, and feeds the two copies to the transitive verb meaning. +The reflexive pronoun in direct object position combines with the transitive verb. The result is an intransitive verb phrase that takes a subject argument, duplicates that argument, and feeds the two copies to the transitive verb meaning. Note that `W <~~> S(CI)`: