From: jim <jim@web>
Date: Thu, 19 Mar 2015 15:57:25 +0000 (-0400)
Subject: ok
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=38d28a7db0862419ccfa485b919b711914179392

ok
---

diff --git a/topics/week7_introducing_monads.mdwn b/topics/week7_introducing_monads.mdwn
index 46d92093..191f35de 100644
--- a/topics/week7_introducing_monads.mdwn
+++ b/topics/week7_introducing_monads.mdwn
@@ -1,9 +1,6 @@
 <!-- λ Λ ∀ ≡ α β γ ρ ω Ω -->
 <!-- Loved this one: http://www.stephendiehl.com/posts/monads.html -->
 
-sample <u>underlined</u> text, and then <span class="box">box1</span>, and then <span class="box2">box2</span> and then <span class="ul">ul</span> end.
-
-
 Introducing Monads
 ==================
 
@@ -59,7 +56,7 @@ type variable instantiates to. So if our box type is `α list`, and `α` instant
 
 <u>int</u>
 
-for the type of a boxed `int`. (We'll fool with the markup to make this show a genuine box later; for now it will just display as underlined.)
+for the type of a boxed `int`.
 
 
 
@@ -374,7 +371,7 @@ Compare the new definitions of `safe_add3` and `safe_div3` closely: the definiti
 for `safe_add3` shows what it looks like to equip an ordinary operation to
 survive in dangerous presupposition-filled world. Note that the new
 definition of `safe_add3` does not need to test whether its arguments are
-None values or real numbers---those details are hidden inside of the
+`None` values or real numbers---those details are hidden inside of the
 `bind` function.
 
 Note also that our definition of `safe_div3` recovers some of the simplicity of