Add prettier docs homepage

egraphs-good · Sep 5, 2023 · b7d125e · b7d125e
1 parent 8ef6d82
commit b7d125e
Show file tree

Hide file tree

Showing 9 changed files with 336 additions and 240 deletions.
diff --git a/docs/changelog.md b/docs/changelog.md
@@ -35,7 +35,7 @@ _This project uses semantic versioning. Before 1.0.0, this means that every brea
 - Start adding to string support [#45](https://github.com/metadsl/egglog-python/pull/45)
   - Fix adding rules for sorts defined in other modules
   - Split out array API into multiple module
-  - Start adding
+  - tidy up docs homepage
 
 ## 0.5.1 (2023-07-18)