From ea61c563f158b9f279a5efb28b407bc818af43d3 Mon Sep 17 00:00:00 2001 From: Chris Barker Date: Sun, 31 Oct 2010 10:16:28 -0400 Subject: [PATCH] edits --- week7.mdwn | 2 ++ 1 file changed, 2 insertions(+) diff --git a/week7.mdwn b/week7.mdwn index 62ef89f0..9f139c16 100644 --- a/week7.mdwn +++ b/week7.mdwn @@ -62,8 +62,10 @@ that provides at least the following three elements: * A bind operation (note the type): +
      let bind m f = match m with None -> None | Some n -> f n;;
      val bind : 'a option -> ('a -> 'b option) -> 'b option = 
+
`bind` takes two arguments (a monadic object and a function from ordinary objects to monadic objects), and returns a monadic -- 2.11.0