Practical Algebraic Stepping with Scoped Filters

Haoxiang Fei, Matthew Keenan, Cyrus Omar

Algebraic steppers help students learn functional programming by displaying evaluation as a sequence of small-step reductions, but even simple programs produce long traces in which…