From 177c81322f3487ac795fbcb58e8fb765bbc1f86d Mon Sep 17 00:00:00 2001 From: Chris Barker Date: Mon, 25 Oct 2010 14:13:17 -0400 Subject: [PATCH 1/1] added proto-monad --- week6.mdwn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/week6.mdwn b/week6.mdwn index 69881478..58987881 100644 --- a/week6.mdwn +++ b/week6.mdwn @@ -200,7 +200,7 @@ let div (x:int) (y:int) = _ -> Some (x / y);; (* -val div : int -> int -> int option = +val div : int -> int -> int option = \ # div 12 3;; - : int option = Some 4 # div 12 0;; -- 2.11.0