3 ms·Cool stuff. The egraph implementation in particular sounds fascinating.by PoignardAzur 4y agoCool stuff. The egraph implementation in particular sounds fascinating.