X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=week7.mdwn;h=9f139c1648734b93cd944c15d16c095c5f0cfe52;hp=62ef89f0ab8b7a2faa8fecf83aa141963d523a54;hb=ea61c563f158b9f279a5efb28b407bc818af43d3;hpb=7834e35d4a2de390ce6a1e9113186dcbb9c07a6f

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):
 
+<pre>
      let bind m f = match m with None -> None | Some n -> f n;;
      val bind : 'a option -> ('a -> 'b option) -> 'b option = <fun>
+</pre>
 
      `bind` takes two arguments (a monadic object and a function from
      ordinary objects to monadic objects), and returns a monadic