From: Jim Pryor Date: Mon, 1 Nov 2010 04:28:01 +0000 (-0400) Subject: towards monads tweak X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=02699122fed9585a542faf5fed2cbf49c891dc5c;hp=2d2d7bb768f253d1df95b9201cfd6aab1e13c2aa towards monads tweak Signed-off-by: Jim Pryor --- 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: