Efficient Extraction for Effectful E-graphsztatlock.net1 point·dverlaeckt80··0 commentsOpen articleSaveView on HN