| ▲ | PoignardAzur 4 days ago | |
Right, my first thought when reading the blurb was "kinda sounds like e-graphs?" | ||
| ▲ | jafioti 4 days ago | parent [-] | |
e-graphs are awesome! none of this would be possible without them. | ||
| ▲ | PoignardAzur 4 days ago | |
Right, my first thought when reading the blurb was "kinda sounds like e-graphs?" | ||
| ▲ | jafioti 4 days ago | parent [-] | |
e-graphs are awesome! none of this would be possible without them. | ||