From: jim <jim@web>
Date: Thu, 2 Apr 2015 13:06:58 +0000 (-0400)
Subject: fix some markup
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=d029b9cc1e11df56ea4494a5348d09f61b344586

fix some markup
---

diff --git a/topics/week8_ramble.mdwn b/topics/week8_ramble.mdwn
index 4adf75cf..6b159a49 100644
--- a/topics/week8_ramble.mdwn
+++ b/topics/week8_ramble.mdwn
@@ -219,7 +219,7 @@ The only difference between the module case and the `let x = 5` case is that in
     # 3 * 2;;;
     - : int = 6
 
-Here `int` is the type, and OCaml can display the specific value, `= 6`, and no variable was bound to this, so it's just `- : ...` rather than <code><i>variable<i> : ...</code>. Okay, but now in the *module* case, like the function case, OCaml always acts like it can't display the specific instance, but rather than <code>module M : sig <i>type of the module</i> end = &lt;module&gt;</code>, it just displays <code>module M : sig <i>type of the module</i> end</code>.
+Here `int` is the type, and OCaml can display the specific value, `= 6`, and no variable was bound to this, so it's just `- : ...` rather than <code><i>variable</i> : ...</code>. Okay, but now in the *module* case, like the function case, OCaml always acts like it can't display the specific instance, but rather than <code>module M : sig <i>type of the module</i> end = &lt;module&gt;</code>, it just displays <code>module M : sig <i>type of the module</i> end</code>.
 
 *Inside* the `sig ... end`, you can see the same `type color = ...` declaration you used when supplying the module, and also the type declarations for the values `x` and `foo` that you declared/defined when supplying the module. They appear with the same `val x :` and `val foo :` prefixes we just talked about getting from the interactive interpreter. So now you know what some more of this stuff means.
 
@@ -537,7 +537,7 @@ Here is some code showing how to generate the common monad modules, and also som
     module E = E.M
     E.(throw, catch)
 
-These mostly have to be entered as individual lines in the interactive interpreter, separated by `;;` and <code><i>return<i></code>s.
+These mostly have to be entered as individual lines in the interactive interpreter, separated by `;;` and <code><i>return</i></code>s.
 
 There remains a final major Monad, the Continuation monad, that we'll discuss and add to the library later.