From f33813998bb13f6d227c6ba635bb29a5b46d065b Mon Sep 17 00:00:00 2001 From: Chris Date: Tue, 12 May 2015 09:40:05 -0400 Subject: [PATCH 1/1] 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