top | item 44964811 (no title) sakras | 6 months 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! discuss order hn newest PoignardAzur|6 months ago Right, my first thought when reading the blurb was "kinda sounds like e-graphs?" jafioti|6 months ago e-graphs are awesome! none of this would be possible without them.
PoignardAzur|6 months ago Right, my first thought when reading the blurb was "kinda sounds like e-graphs?" jafioti|6 months ago e-graphs are awesome! none of this would be possible without them.
PoignardAzur|6 months ago
jafioti|6 months ago