An interactive beta reduction calculator for lambda calculus Live demo Note that latest firefox seems to have issues with nested <a href> tags. You may want to use other browsers for a better experience.