https://cruzgodar.com/applets/lambda-calculus

JavaScript is required to use this site and many others. Consider
enabling it.