用Rust编写的λ演算解释器
所有者 nph。
#1015 in 数学
9KB 208 代码行
用Rust编写的λ演算解释器。
cargo install rs-lambda
rs-lambda (\x x x) a
~2–14MB ~125K SLoC