fix markup, typo

diff --git a/topics/week7_monads.mdwn b/topics/week7_monads.mdwn
index d4b1541..bb0df8f 100644 (file)
--- a/topics/week7_monads.mdwn
+++ b/topics/week7_monads.mdwn
@@ -354,6 +354,7 @@ The above definitions look even simpler if you focus on the fact that `safe_add3
 
 Let's see our new functions in action:
 
 
 Let's see our new functions in action:
 

+<pre>

 (*
 # safe_div3 (safe_div3 (Some 12) (Some 2)) (Some 3);;
 - : int option = Some 2
 (*
 # safe_div3 (safe_div3 (Some 12) (Some 2)) (Some 3);;
 - : int option = Some 2


@@ -376,7 +377,7 @@ order to trigger the no-division-by-zero presupposition. Here, too, we don't
 need to keep track of what presuppositions may have already failed
 for whatever reason on our inputs.
 
 need to keep track of what presuppositions may have already failed
 for whatever reason on our inputs.
 

-(Linguitics note: Dividing by zero is supposed to feel like a kind of
+(Linguistics note: Dividing by zero is supposed to feel like a kind of

 presupposition failure. If we wanted to adapt this approach to
 building a simple account of presupposition projection, we would have
 to do several things. First, we would have to make use of the
 presupposition failure. If we wanted to adapt this approach to
 building a simple account of presupposition projection, we would have
 to do several things. First, we would have to make use of the