Execution PoliciesΒΆ Use these recipes when the traced program is fixed, but the execution policy changes. Debug Intermediate Values Add Human Feedback with Walk Mark the Review Point Ask for Feedback Pause on Tagged Equations Run the Reviewed Program Choose the Review Boundary Cache Repeated Computations with memoize Cache During Execution Deduplicate During Tracing Eliminate Dead Computations with dce Keep Part of an Output