A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
rust lambda-functions lambda-calculus combinatory-logic church-encoding lambda-expressions lambda-interpreter rust-library debruijn ski-combinators beta-reduction reduction-strategies parigot-encoding scott-encoding embedded-iterators-encoding stump-fu-encoding
-
Updated
Aug 7, 2026 - Rust