lambda_calc 2.2.1

A command-line untyped lambda calculus interpreter.
Documentation