rs-lambda

Rust lambda calculus interpreter

Install

cargo install rs-lambda

Usage

rs-lambda

Syntax

\x.(x x) (\x.(x x) y)

Flags

• -s shows individual steps.
• -d shows lexing and parsing data.