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