Support recursive datatypes in egglog

egraphs-good / egglog

egraphs + datalog!

https://egraphs-good.github.io/egglog/

MIT License

458 stars 54 forks source link

Closed yihozhang closed 1 month ago

yihozhang commented 1 month ago

I actually accidentally pushed this to main... which is bad (now reverted). I have updated repo settings so that no one can directly push to main