functions change

lmoss · Jan 24, 2025 · 1655028 · 1655028
1 parent 99f4cf2
commit 1655028
Showing 1 changed file with 7 additions and 11 deletions.
diff --git a/introOneSharp/functions.ipynb b/introOneSharp/functions.ipynb
@@ -27,7 +27,7 @@
       },
       "source": [
         "\n",
-        "At this point we know what programs of   ```111``` are and how they work.\n",
+        "At this point we know what programs of   ```1#``` are and how they work.\n",
         "We are interested not just in the programs themselves\n",
         "but in *what* they compute.  \n",
         "\n",
@@ -147,6 +147,7 @@
       ]
     },
     {
+      "attachments": {},
       "cell_type": "markdown",
       "metadata": {
         "id": "ZhaXDhZfFra5"
@@ -158,10 +159,7 @@
         " \n",
         "For other programs $q$ there might be some programs $p$ for which $\\phifn_p$ is defined for some but not all input words.  \n",
         "\n",
-        "\n",
-        "\n",
-        "```{admonition} Definition\n",
-        ":class: tip\n",
+        "```{prf:definition}\n",
         "\n",
         "Given words $x$ and $y$, we write\n",
         "\n",
@@ -257,7 +255,8 @@
         "\n",
         "\n",
         "```{prf:definition}\n",
-        "\\:class: tip\n",
+        ":class: tip\n",
+        "\n",
         "Every word $p$ gives us a function\n",
         "called $\\phifn^n_p$  on $n$-tuples of words. \n",
         "\n",
@@ -384,8 +383,7 @@
       "cell_type": "markdown",
       "metadata": {},
       "source": [
-        "```{admonition} Definition\n",
-        ":class: tip\n",
+        "```{prf:definition}\n",
         "$$\n",
         "\\phifn^0_p (\\ ) \\simeq y\n",
         "$$\n",
@@ -448,9 +446,7 @@
         "id": "ZkwdFYl1iXHH"
       },
       "source": [
-        "\n",
-        "```{admonition} Definition\n",
-        ":class: tip\n",
+        "```{prf:definition} \n",
         "For any set $A$, the *characteristic function of $A$* is the function $\\chi_A$ given by\n",
         "\n",
         "$$\n",