lambda_calc 2.2.0

A command-line untyped lambda calculus interpreter.
Documentation