X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=topics%2F_week15_continuation_applications.mdwn;h=ffe10ba68d3cd2c39c65f0d8ec7147103dc7c68a;hp=6eeaf8fc7dc4a3a5c986feaae27cafb6fb19b864;hb=f33813998bb13f6d227c6ba635bb29a5b46d065b;hpb=0a348c414ac09e19c283b0ffe936519748d6988e

diff --git a/topics/_week15_continuation_applications.mdwn b/topics/_week15_continuation_applications.mdwn
index 6eeaf8fc..ffe10ba6 100644
--- a/topics/_week15_continuation_applications.mdwn
+++ b/topics/_week15_continuation_applications.mdwn
@@ -413,6 +413,16 @@ operator:
 Not a monad (Wadler); would be if the types were
 Neverthless, obeys the monad laws.
 
+Oh, one more thing: because natural language allows the functor to be
+on the left or on the right, we replace the type arrow -> with a
+left-leaning version \ and a right-leaning version, as follows:
+
+    α/β  β = α
+    β  β\α = α
+
+This means we need two versions of ¢ too (see Barker and Shan 2014
+chapter 1 for full details).
+
 This is (almost) all we need to get some significant linguistic work
 done.