From 47e08f1ea539eb5305efe8c36d68c05630bce36b Mon Sep 17 00:00:00 2001 From: jim Date: Thu, 19 Mar 2015 02:25:52 -0400 Subject: [PATCH] fix markup, typo --- topics/week7_monads.mdwn | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/topics/week7_monads.mdwn b/topics/week7_monads.mdwn index d4b1541b..bb0df8f7 100644 --- 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: +
 (*
 # 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.
 
-(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
-- 
2.11.0