Add EGraph Visualizations

.github/workflows/deploy.yml

@@ -17,11 +17,17 @@ jobs:
     - name: Build
       run: make web
 
+    - name: Upload web artifact
+      uses: actions/upload-artifact@v3
+      with:
+        name: www
+        path: target/www
+
     - name: Deploy
       uses: peaceiris/actions-gh-pages@v3
       # only actually deploy if pushed to main branch
       if: ${{ github.ref == 'refs/heads/main' && github.event_name == 'push' }}
       with:
         github_token: ${{ secrets.GITHUB_TOKEN }}
         publish_dir: target/www
-        force_orphan: true
+        force_orphan: true

.gitignore

@@ -13,6 +13,9 @@ profile.json
 _scratch.egg
 /*.egg
 *.log
+*.dot
+*.svg
+*.DS_Store
 
 # racket
-scripts/compiled
+scripts/compiled