Skip to content

Use to_expr_App instead of to_expr so that reduction works correctly#79

Merged
JasonGross merged 1 commit intomit-plv:masterfrom JasonGross:cache-let-in-appOct 6, 2022
+8-2

Commits