search

egraphs-good / egglog

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

Add pretty printing of results #351

Open mwillsey opened 6 months ago

mwillsey commented 6 months ago

Currently we print all results one-per-line, which makes sense in some contexts. But in the web demo, it'd be really nice to pretty print the larger sexps, since even medium sized ones are hard to read.

ndcroos commented 1 month ago

Hi, I'd like to work on this issue. Can you assign this to me?