[crazyedgar]

I believe this is the code for their work, which I believe the authors didn't put in the paper: https://github.com/philzook58/egglog

[philzook]

That is a previous defunct prototype wildly superseded by the current implementation. I still have a soft spot for the syntax though

[aseipp]

Close, but the link is on Page 13, and it points here: https://github.com/mwillsey/egg-smol

Unfortunately the naming is all a bit confusing, isn't it....