search

egraphs-good / eggcc

MIT License
51 stars 11 forks source link

Fix substitution bug with context in `to` #482

Closed oflatt closed 6 months ago