Efficient Extraction for Effectful E-graphs

1 points | by dverlaeckt80 4 hours ago