From: jim <jim@web>
Date: Mon, 23 Mar 2015 14:20:51 +0000 (-0400)
Subject: markup
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=1666d4c9858609dd1c32d7ab7aff976debe73cf7;hp=5fc93a66443245db8d583eebe4517fa20a4a1aa7

markup
---

diff --git a/exercises/assignment7.mdwn b/exercises/assignment7.mdwn
index f26f5d83..029a7798 100644
--- a/exercises/assignment7.mdwn
+++ b/exercises/assignment7.mdwn
@@ -78,7 +78,7 @@ boxed types.  Here, a "boxed type" is a type function with one unsaturated
 hole (which may have several occurrences, as in `(α,α) tree`). We can think of the box type
 as a function from a type to a type.
 
-Recall that a monad requires a singleton function <code>⇧ (* mid *) : P-> <u>P</u></code>, and a
+Recall that a monad requires a singleton function <code>⇧ (\* mid \*) : P-> <u>P</u></code>, and a
 composition operator like <code>&gt;=&gt; : (P-><u>Q</u>) -> (Q-><u>R</u>) -> (P-><u>R</u>)</code>.
 
 As we said in the notes, we'll move freely back and forth between using `>=>` and using `<=<` (aka `mcomp`), which