lambda-toolbox

An application to work with the lambda calculus (for learning)

lambda-toolbox allows one to reduce lambda expressions step by step, performing alpha-, beta-, and eta-reduction. It's a tool intended for beginners to play with the lambda calculus.

$ lambda-toolbox -h

will tell you everything relevant.