X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=towards_monads.mdwn;h=c8cbe21cb3baa2b2169ebac3eb0ce5b7cb1f38c8;hb=02699122fed9585a542faf5fed2cbf49c891dc5c;hp=acdfbb3304a0627ab2f33a743c68811c544f2489;hpb=2d2d7bb768f253d1df95b9201cfd6aab1e13c2aa;p=lambda.git

diff --git a/towards_monads.mdwn b/towards_monads.mdwn
index acdfbb33..c8cbe21c 100644
--- a/towards_monads.mdwn
+++ b/towards_monads.mdwn
@@ -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>