search

egraphs-good / eggcc

MIT License
42 stars 8 forks source link

[Utility] Typechecking in egglog for tree unique #251

Closed oflatt closed 8 months ago

oflatt commented 8 months ago

Oops, duplicate of #238