egraphs-good / eggcc

MIT License
42 stars 8 forks source link

Choose a representation for tuples-of-tuples for consistency #256

Closed Alex-Fischman closed 3 months ago

Alex-Fischman commented 8 months ago

We're worried about optimizations not firing if we support both tuples-of-tuples and list-append, because we might forget to implement our optimizations on both forms. We should choose one form and stick to it.