search

egraphs-good / egglog

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

Better ruleset missing error #369

Closed oflatt closed 2 weeks ago

oflatt commented 2 weeks ago

Out of date, error message is good in main now