Crate lambda_calculus

lambda_calculus is a simple implementation of the untyped lambda calculus in Rust.

Modules

arithmetic	Church-encoded numerals and arithmetic operations
booleans	Church booleans
combinators	Standard terms and combinators
list	Church single-pair list
pair	Church pair
parser	A parser for lambda expressions with De Bruijn indices
reduction	β-reduction for lambda Terms
term	Lambda terms

Macros

app	A macro for chain application of Terms.