egraphs-good / eggcc

MIT License
42 stars 8 forks source link

[Tree optimizer] Remove unnecessary Let bindings #239

Closed rtjoa closed 7 months ago

oflatt commented 7 months ago

Duplicate of #247