deploy: 74f906d

_sources/introOneSharp/move_copy_write.ipynb

@@ -782,10 +782,20 @@
       "metadata": {},
       "source": [
         "```{exercise}\n",
-        "Find an equation satisfied by the program ```copy_1_3_4+write+move_3_1```. That is, fill in the blank\n",
+        "Let $p$ be the program ```copy_1_3_4 + write + move_3_1```. \n",
         "\n",
-        "$$[\\![ ```copy_1_3_4+write+move_3_1```]\\!](x) = \\underline{\\qquad\\qquad}\n",
+        "1. Find an equation satisfied by $p$. That is, fill in the blank\n",
+        "\n",
+        "$$\n",
+        "[\\![ p]\\!](x) = \\underline{\\qquad\\qquad\\qquad}\n",
         "$$\n",
+        "\n",
+        "2.  Now fill in another blank:\n",
+        "\n",
+        "$$\n",
+        "[\\![ [\\![ p]\\!](x)]\\!](y) = \\underline{\\qquad\\qquad\\qquad}\n",
+        "$$\n",
+        "\n",
         "```"
       ]
     }

introOneSharp/move_copy_write.html

@@ -928,9 +928,20 @@ <h1>The <span class="math notranslate nohighlight">\(+\)</span> notation on word
 
 <p class="admonition-title"><span class="caption-number">Exercise 13 </span></p>
 <section id="exercise-content">
-<p>Find an equation satisfied by the program <code class="docutils literal notranslate"><span class="pre">copy_1_3_4+write+move_3_1</span></code>. That is, fill in the blank</p>
+<p>Let <span class="math notranslate nohighlight">\(p\)</span> be the program <code class="docutils literal notranslate"><span class="pre">copy_1_3_4</span> <span class="pre">+</span> <span class="pre">write</span> <span class="pre">+</span> <span class="pre">move_3_1</span></code>.</p>
+<ol class="arabic simple">
+<li><p>Find an equation satisfied by <span class="math notranslate nohighlight">\(p\)</span>. That is, fill in the blank</p></li>
+</ol>
 <div class="math notranslate nohighlight">
-\[[\![ ```copy_1_3_4+write+move_3_1```]\!](x) = \underline{\qquad\qquad}
+\[
+[\![ p]\!](x) = \underline{\qquad\qquad\qquad}
+\]</div>
+<ol class="arabic simple" start="2">
+<li><p>Now fill in another blank:</p></li>
+</ol>
+<div class="math notranslate nohighlight">
+\[
+[\![ [\![ p]\!](x)]\!](y) = \underline{\qquad\qquad\qquad}
 \]</div>
 </section>
 </div>