An untyped lambda calculus interpreter.
It has support for usual rules of implicit parenthesization of lambda calculus
(see the documentation for the parse function
on here),
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.