lambda_calc 2.2.2

A command-line untyped lambda calculus interpreter.
Documentation