From: jim <jim@web>
Date: Thu, 19 Mar 2015 22:34:45 +0000 (-0400)
Subject: correction
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=a6c01f0671ccbed18f9938799f7b50eeb5bc4c50

correction
---

diff --git a/topics/week7_introducing_monads.mdwn b/topics/week7_introducing_monads.mdwn
index 14695ec8..b04f517e 100644
--- a/topics/week7_introducing_monads.mdwn
+++ b/topics/week7_introducing_monads.mdwn
@@ -86,7 +86,7 @@ In the first, `P` has become `int` and `Q` has become `bool`. (The boxed type <c
 Note that the left-hand schema `P` is permitted to itself be a boxed type. That is, where
 if `α list` is our box type, we can write the second arrow as
 
-<code><u>int</u> -> <u>Q</u></code>
+<code><u>int</u> -> <u>int list</u></code>
 
 As semanticists, you are no doubt familiar with the debates between those who insist that propositions are sets of worlds and those who insist they are context change potentials. We hope to show you, in coming weeks, that propositions are (certain sorts of) Kleisli arrows. But this doesn't really compete with the other proposals; it is a generalization of them. Both of the other proposed structures can be construed as specific Kleisli arrows.