From 02699122fed9585a542faf5fed2cbf49c891dc5c Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Mon, 1 Nov 2010 00:28:01 -0400 Subject: [PATCH] towards monads tweak Signed-off-by: Jim Pryor --- towards_monads.mdwn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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: 
-- 
2.11.0