Comment by PoignardAzur
Comment by PoignardAzur 3 days ago
Right, my first thought when reading the blurb was "kinda sounds like e-graphs?"
Comment by PoignardAzur 3 days ago
Right, my first thought when reading the blurb was "kinda sounds like e-graphs?"
e-graphs are awesome! none of this would be possible without them.