`:name` field of a rule is not used - Githubissues

egraphs-good / egglog

egraphs + datalog!

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

MIT License

459 stars 54 forks source link

`:name` field of a rule is not used #323

Open yihozhang opened 11 months ago

yihozhang commented 11 months ago

See screenshot