X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=week7.mdwn;h=3336a49685b38bf087eb3a9f67915f3bf8a32ea0;hp=52bc8eb5d2e9855e872cfca13bc469d1582e8b36;hb=f10b70d2b7589e44135dd0e47c87d3965ee08918;hpb=f1086f391556371f688a6ed2807da5e127d69608

diff --git a/week7.mdwn b/week7.mdwn
index 52bc8eb5..3336a496 100644
--- a/week7.mdwn
+++ b/week7.mdwn
@@ -114,17 +114,17 @@ val unit : 'a -> 'a option = <fun>
 - : 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
-	is `*`, pronounced "bind") is an infix operator, so we write
-	`m * f` or `( * ) m f` instead of `* m f`.
+The parentheses is the magic for telling Ocaml that the
+function to be defined (in this case, the name of the function
+is `*`, pronounced "bind") is an infix operator, so we write
+`m * f` or `( * ) m f` instead of `* m f`.
 
 *    Associativity: bind obeys a kind of associativity, like this:
 
-    (m * f) * g == m * (fun x -> f x * g)
+    `(m * f) * g == m * (fun x -> f x * g)`
 
-    If you don't understand why the lambda form is necessary, you need
-    to look again at the type of bind.  This is important.  
+    If you don't understand why the lambda form is necessary (the "fun
+    x" part), you need to look again at the type of bind.
 
     For an illustration of associativity in the option monad: