From: jim <jim@web>
Date: Thu, 19 Mar 2015 15:58:07 +0000 (-0400)
Subject: fix join's type
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=3d276dedb3ccde00a014e49ced1e438d82f4bcef

fix join's type
---

diff --git a/topics/week7_introducing_monads.mdwn b/topics/week7_introducing_monads.mdwn
index 191f35de..61012d55 100644
--- a/topics/week7_introducing_monads.mdwn
+++ b/topics/week7_introducing_monads.mdwn
@@ -105,7 +105,7 @@ Here are the types of our crucial functions, together with our pronunciation, an
 
 <code>=&lt;&lt; or mdnib (flip mbind) (<u>Q</u>) -> (Q -> <u>R</u>) -> (<u>R</u>)</code>
 
-<code>join: <span class="double">P</span> -> <u>P</u></code> 
+<code>join: <span class="box2">P</span> -> <u>P</u></code> 
 
 
 The menagerie isn't quite as bewildering as you might suppose. Many of these will