3 releases (stable)
1.0.1 | Mar 4, 2022 |
---|---|
0.1.0 | Nov 10, 2021 |
#1015 in Math
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