From f33813998bb13f6d227c6ba635bb29a5b46d065b Mon Sep 17 00:00:00 2001
From: Chris
Date: Tue, 12 May 2015 09:40:05 -0400
Subject: [PATCH] edits
---
topics/_week15_continuation_applications.mdwn | 10 ++++++++++
1 file changed, 10 insertions(+)
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.
--
2.11.0