search

egraphs-good / eggcc

MIT License
42 stars 8 forks source link

[Tree unique] Pure code sinking #240

Open rtjoa opened 8 months ago

rtjoa commented 8 months ago

Generalization of pure let inlining