search

azreika / lambdul

Lambda calculus interpreter written in Java
8 stars 2 forks source link

Debugging mode #1

Open davidwzhao opened 6 years ago

davidwzhao commented 6 years ago

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