Efficient Extraction for Effectful E-graphs (via saulshanabrook) — discussion

#compilers #plt