search

egraphs-good / eggcc

MIT License
51 stars 11 forks source link

Push equalities through let bindings #394

Closed oflatt closed 7 months ago

oflatt commented 7 months ago

not relavent with DAG semantics