From: Chris Barker <barker@kappa.linguistics.fas.nyu.edu>
Date: Mon, 25 Oct 2010 18:13:58 +0000 (-0400)
Subject: added proto-monad
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=afc4f7a71546e785d23f59b46fd9d7f035748a60

added proto-monad
---

diff --git a/week6.mdwn b/week6.mdwn
index 58987881..ac94b79c 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 = \<fun\>
+val div : int -> int -> int option = fun
 # div 12 3;;
 - : int option = Some 4
 # div 12 0;;