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

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>