1 comment

[ 2.6 ms ] story [ 14.3 ms ] thread
Cool stuff. The egraph implementation in particular sounds fascinating.