Hacker News new | ask | show | jobs
by sakras 300 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!
1 comments
PoignardAzur 300 days ago
Right, my first thought when reading the blurb was "kinda sounds like e-graphs?"
link
jafioti 300 days ago
e-graphs are awesome! none of this would be possible without them.
link