Add rust typechecker of tree IR

egraphs-good / eggcc

MIT License

42 stars 8 forks source link

Closed oflatt closed 7 months ago

oflatt commented 7 months ago

This PR eases the burden of translation from RVSDG to tree encoding by automatically annotating the types of every argument reference in the program.