rs-lambda 0.1.0

A lambda calculus interpreter written in rust.
rs-lambda-0.1.0 is not a library.

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.