search

egraphs-good / egglog

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

Easier access to logs for the web demo #365

Closed yihozhang closed 4 months ago

yihozhang commented 4 months ago

After this PR:

image image
yihozhang commented 4 months ago

Yeah, I agree the frontend code is getting more complex. It makes sense to switch to a more established framework for managing states, etc.