Crate lambda_calculus

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

Modules

arithmetic	Church-encoded numerals
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
term	Lambda terms