search

egraphs-good / egglog

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

Terms file is not included #341

Closed saulshanabrook closed 8 months ago

saulshanabrook commented 8 months ago

I believe that the terms.rs file is no longer included in the source tree. Maybe it should be removed?

oflatt commented 8 months ago

Yeah, it should be removed