From: Chris Barker <barker@omega.(none)>
Date: Sun, 31 Oct 2010 14:19:28 +0000 (-0400)
Subject: edits
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=ef954bbcb3b568413e2dd48374dbeb7201ccd4bb;ds=sidebyside

edits
---

diff --git a/week7.mdwn b/week7.mdwn
index 52bc8eb5..a78a77e2 100644
--- a/week7.mdwn
+++ b/week7.mdwn
@@ -105,14 +105,14 @@ them from hurting the people that use them or themselves.
      object, we have `(unit x) * f == f x`.  For instance, `unit` is a
      function of type `'a -> 'a option`, so we have
 
-<pre>
-# let ( * ) m f = match m with None -> None | Some n -> f n;;
-val ( * ) : 'a option -> ('a -> 'b option) -> 'b option = <fun>
-# let unit x = Some x;;
-val unit : 'a -> 'a option = <fun>
-# unit 2 * unit;;
-- : int option = Some 2
-</pre>
+    <pre>
+    # let ( * ) m f = match m with None -> None | Some n -> f n;;
+    val ( * ) : 'a option -> ('a -> 'b option) -> 'b option = <fun>
+    # let unit x = Some x;;
+    val unit : 'a -> 'a option = <fun>
+    # unit 2 * unit;;
+    - : int option = Some 2
+    </pre>
 
 	The parentheses is the magic for telling Ocaml that the
 	function to be defined (in this case, the name of the function