Fix substitution to add correct types to leaf nodes - Githubissues

egraphs-good / eggcc

MIT License

42 stars 8 forks source link

Fix substitution to add correct types to leaf nodes #398

Closed oflatt closed 6 months ago