From: Chris Barker Date: Mon, 25 Oct 2010 18:13:17 +0000 (-0400) Subject: added proto-monad X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=177c81322f3487ac795fbcb58e8fb765bbc1f86d;ds=sidebyside added proto-monad --- 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;;