rs-lambda

A lambda calculus interpreter written in rust.

Installation

cargo install rs-lambda

Example

rs-lambda (\x x x) a