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