minor

hablapps · Oct 7, 2022 · 3ad9c76 · 3ad9c76
1 parent e5d9b46
commit 3ad9c76
Showing 1 changed file with 4 additions and 5 deletions.
diff --git a/templates/WhatLogicCanTeachUs.ipynb b/templates/WhatLogicCanTeachUs.ipynb
@@ -329,13 +329,12 @@
    "metadata": {},
    "source": [
     "$$ \n",
-    "\\begin{array}{cc}\n",
-    "\\mathrm{\\bf Propositions} && \\mathrm{\\bf Types}  \\\\\n",
+    "\\begin{array}{cccl}\n",
+    "\\mathrm{\\bf Propositions} && \\mathrm{\\bf Types} && \\\\\n",
     "\\hline\n",
-    "\\exists x. p(x) &\\;\\;& \\mathtt{\\{val\\;x: \\{type\\;P\\}; val\\;proof: x.P\\}}  \\\\\n",
+    "\\exists x. p(x) &\\;\\;& \\mathtt{\\{val\\;x: \\{type\\;P\\}; val\\;proof: x.P\\}} & \\mathrm{Dependent-sum\\;types} \\\\\n",
     "\\end{array}\n",
-    "$$\n",
-    "\n"
+    "$$"
    ]
   },
   {