search

egraphs-good / egglog

egraphs + datalog!
https://egraphs-good.github.io/egglog/
MIT License
400 stars 45 forks source link

Prepare for 0.2.0 #380

Closed yihozhang closed 3 months ago

yihozhang commented 3 months ago

don't merge until we chat about future egglog release plans