ljedrz/lambda_calculus

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

语言：Rust · GitHub 星标：141 · Fork：15

话题：beta-reduction · church-encoding · combinatory-logic · debruijn · embedded-iterators-encoding · lambda-calculus · lambda-expressions · lambda-functions

在 GitHub 上查看原仓库