search

egraphs-good / egglog

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

Make s-expression conversion public #279

Closed oflatt closed 10 months ago

oflatt commented 10 months ago

This PR makes s-expression conversion public for convenience. This also allows users to pretty-print their s-expressions, which we need in the eggcc project.