lambda_calculus (cargo): A simple, zero-dependency implementation of pure lambda calculus in Safe Rust
Keywords: mathematics|functional|lambda|combinators|calculus|beta-reduction|church-encoding|combinatory-logic|debruijn|embedded-iterators-encoding|lambda-calculus|lambda-expressions|lambda-functions|lambda-interpreter|parigot-encoding|reduction-strategies|rust|rust-library|scott-encoding|ski-combinators|stump-fu-encoding