X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?a=blobdiff_plain;f=towards_monads.mdwn;h=378310f9701ab2cb8bffccfd30dce4476dc17b18;hb=8a7f214bdd5696c0cc2fd9f0926aeae0a6bbbcfb;hp=acdfbb3304a0627ab2f33a743c68811c544f2489;hpb=4227828f80f4c9c05f10bfc14435747c31fbb934;p=lambda.git

diff --git a/towards_monads.mdwn b/towards_monads.mdwn
index acdfbb33..378310f9 100644
--- a/towards_monads.mdwn
+++ b/towards_monads.mdwn
@@ -36,7 +36,7 @@ val div' : int -> int -> int option = fun
 # div' (div' 12 3) 2;;
 Characters 4-14:
   div' (div' 12 3) 2;;
-      ^^^^^^^^^^
+        ^^^^^^^^^^
 Error: This expression has type int option
        but an expression was expected of type int
 *)
@@ -84,7 +84,7 @@ let div' (u:int option) (v:int option) =
 
 So far so good.  But what if we want to combine division with
 other arithmetic operations?  We need to make those other operations
-aware of the possibility that one of their arguments will trigger a
+aware of the possibility that one of their arguments has triggered a
 presupposition failure:
 
 <pre>