Would be helpful to have a debugging mode, e.g. `@debug E`, which will print the order of reductions performed. For example, ``` > @debug \x.\y.(x y) a beta reduction: \x.\y.(x y) a => \y.(a y) eta reduction: \y.(a y) => a a ```
Would be helpful to have a debugging mode, e.g.
@debug E, which will print the order of reductions performed. For example,