From: jim <jim@web>
Date: Thu, 19 Mar 2015 22:35:17 +0000 (-0400)
Subject: fix "arrow"
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=99724b7a28e23caa99552af55797f16b3c4666b3;ds=inline

fix "arrow"
---

diff --git a/topics/week7_introducing_monads.mdwn b/topics/week7_introducing_monads.mdwn
index b04f517e..75d0cee4 100644
--- a/topics/week7_introducing_monads.mdwn
+++ b/topics/week7_introducing_monads.mdwn
@@ -84,7 +84,7 @@ For instance, the following are Kleisli arrows:
 In the first, `P` has become `int` and `Q` has become `bool`. (The boxed type <code><u>Q</u></code> is <code><u>bool</u></code>).
 
 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
+if `α list` is our box type, we can write the second type as:
 
 <code><u>int</u> -> <u>int list</u></code>