An untyped lambda calculus interpreter.
It has support for usual rules of implicit parenthesization of lambda calculus (see this), and shows each beta reduction step by step, highlighting the expression reduced last.
Screenshots
Installation
Install cargo if you don't have it, then run
$ cargo install lambda_calc
This will install the lambda_calc binary.