From: jim <jim@web>
Date: Sun, 22 Mar 2015 16:17:20 +0000 (-0400)
Subject: tweak diagram
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=f932e2ef9505b6b863a7957be94b526c5af9d99f;hp=5b304e0cbe18ba3bc9b372e3ca8faf3edaa4e8e5;ds=sidebyside

tweak diagram
---

diff --git a/topics/week7_introducing_monads.mdwn b/topics/week7_introducing_monads.mdwn
index 0e9ab56f..840521a0 100644
--- a/topics/week7_introducing_monads.mdwn
+++ b/topics/week7_introducing_monads.mdwn
@@ -393,11 +393,13 @@ This example is a good intuitive basis for thinking about the notions of `mbind`
       Some a  >>=<sub>α option</sub>  (\a -> Some 0) ==> Some 0
       None    >>=<sub>α option</sub>  (\a -> Some 0) ==> None
 
-    .                                                   _____
-   / \                                  .              /     \
-  .   3       >>=<sub>(α,unit) tree</sub>  (\a ->  / \  )  ==>   _/_      .
- / \                                  a   a         /   \    / \
-1   2                                              .     .  3   3
+                                                         .
+                                                        / \
+    .                                                  /   \
+   / \                                  .             .     \
+  .   3       >>=<sub>(α,unit) tree</sub>  (\a ->  / \  )  ==>   / \     .
+ / \                                  a   a         /   \   / \
+1   2                                              .     . 3   3
                                                   / \   / \
                                                  1   1 2   2
 </pre>