search

johnynek / bosatsu

A python-ish pure and total functional programming language
Apache License 2.0
226 stars 11 forks source link

investigate egglog for term rewriting #1270

Open johnynek opened 4 days ago

johnynek commented 4 days ago

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

maybe this could be useful for improving generated code.