Fix docs

Author: saulshanabrook

Presentation.ipynb

@@ -1,5 +1,16 @@
 {
  "cells": [
+  {
+   "cell_type": "markdown",
+   "id": "a74307d3-b810-4f9d-9663-d5b0030357ae",
+   "metadata": {},
+   "source": [
+    "* Campy\n",
+    "* Add more complicated example\n",
+    "* Change fonts\n",
+    "* Make sure examples are done"
+   ]
+  },
   {
    "cell_type": "markdown",
    "id": "a611c138-1afd-4d6f-9578-4f358d2438eb",
@@ -2153,7 +2164,7 @@
     "\n",
     "* Add support for Python objects as builtin sort\n",
     "* Investigate trying to adopt in data science libraries, such as Ibis\n",
-    "* Upstream egglog improvements which could help with reuse (parametric user defined types)"
+    "* Upstream egglog improvements which could help with reuse (first class functions, parametric user defined types)"
    ]
   },
   {
@@ -2169,12 +2180,23 @@
    "source": [
     "## Thank you!\n",
     "\n",
+    "\n",
     "```bash\n",
     "pip install egglog\n",
     "```\n",
     "\n",
-    "*Source available at [github.com/metadsl/egglog-python](https://github.com/metadsl/egglog-python)*"
+    "*Source available at [github.com/metadsl/egglog-python](https://github.com/metadsl/egglog-python)*\n",
+    "\n",
+    "Any questions?\n"
    ]
+  },
+  {
+   "cell_type": "code",
+   "execution_count": null,
+   "id": "8470a5af-76e9-4186-9a25-4ac95be0ee97",
+   "metadata": {},
+   "outputs": [],
+   "source": []
   }
  ],
  "metadata": {

docs/reference/egglog-translation.md

@@ -338,7 +338,7 @@ and also will make sure the variables won't be used outside of the scope of the
 # egg: (rewrite (Add a b) (Add b a))
 
 @egraph.register
-def _math(a: Math, b: Math)
+def _math(a: Math, b: Math):
     yield rewrite(a * b).to(b * a)
     yield rewrite(a + b).to(b + a)
 ```