Move presentation to docs

saulshanabrook · saulshanabrook · commit 4d4b5e5b3f04 · 2023-06-17T16:52:22.000-04:00
diff --git a/docs/explanation.md b/docs/explanation.md
@@ -4,4 +4,5 @@
 explanation/compared_to_rust
 explanation/optional_values
 explanation/define_and_define
+explanation/pldi_2023_presentation
 ```
diff --git a/docs/explanation/pldi_2023_presentation.ipynb b/docs/explanation/pldi_2023_presentation.ipynb
@@ -11,8 +11,8 @@
     "tags": []
    },
    "source": [
-    "```\n",
-    "jupyter nbconvert Presentation.ipynb --to slides\n",
+    "```bash\n",
+    "jupyter nbconvert pldi_2023_presentation.ipynb --to slides\n",
     "```"
    ]
   },
