Lib.rs

› Science › Math
#lambda-calculus #lambda #calculus #interpreter

app rs-lambda

A lambda calculus interpreter written in rust

Owned by nph.

3 releases (stable)

1.0.1 Mar 4, 2022
0.1.0 Nov 10, 2021

#1015 in Math

MIT license

9KB
208 lines

rs-lambda

A lambda calculus interpreter written in rust.

Installation

cargo install rs-lambda

Example

rs-lambda
  (\x x x) a

Dependencies

~2–14MB
~125K SLoC