https://github.com/ljedrz/lambda_calculus

A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust

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

Last synced: 05 Apr 2025