search

egraphs-good / eggcc

MIT License
51 stars 11 forks source link

[Tree Optimizer] Typechecker for loops and functions #270

Closed oflatt closed 8 months ago

oflatt commented 8 months ago

done