search

egraphs-good / egglog

egraphs + datalog!
https://egraphs-good.github.io/egglog/
MIT License
445 stars 51 forks source link

Remove old VS Code extension and link to hatoo's #313

Closed Alex-Fischman closed 11 months ago

Alex-Fischman commented 11 months ago

Fixes #312.