← Back to context

Comment by sakras

3 days ago

I see you guys are using Egg/Egglog! I've been mildly interested in egraphs for quite a while, glad to see they're gaining traction!

2 comments

sakras

Reply

PoignardAzur 3 days ago

Right, my first thought when reading the blurb was "kinda sounds like e-graphs?"

jafioti 3 days ago

e-graphs are awesome! none of this would be possible without them.