1 comment

[ 5.5 ms ] story [ 25.8 ms ] thread
Cool stuff. The egraph implementation in particular sounds fascinating.