search

egraphs-good / egglog

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

Fix margin of <select> #414

Closed tniessen closed 1 month ago

tniessen commented 1 month ago

Before:

Screenshot 2024-08-15 at 14-49-25 egglog demo

After:

Screenshot 2024-08-15 at 14-50-05 egglog demo