[Tree Optimizer] Typechecking terms without loops - Githubissues

egraphs-good / eggcc

MIT License

42 stars 8 forks source link

[Tree Optimizer] Typechecking terms without loops #308

Closed oflatt closed 7 months ago