An interactive beta reduction calculator for lambda calculus

Note that latest firefox seems to have issues with nested <a href> tags. You may want to use other browsers for a better experience.

ninegua/reduxer