search

egraphs-good / egglog

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

Remove `declare` since it's dead code #419

Closed yihozhang closed 3 months ago

yihozhang commented 3 months ago

Missed this one :)

follow up of #418