6 ms·

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 https://github.com/philzook

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 https://github.com/philzook58/egglog

aseipp 3y ago
Close, but the link is on Page 13, and it points here: https://github.com/mwillsey/egg-smol https://github.com/mwillsey/egg-smol Unfortunately the naming is all a bit confusing, isn't it....
philzook 3y ago
That is a previous defunct prototype wildly superseded by the current implementation. I still have a soft spot for the syntax though