search

egraphs-good / egglog

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

Remove terms file #342

Closed saulshanabrook closed 7 months ago

saulshanabrook commented 7 months ago

Closes #341 as a follow up from #320