Crate lambda_calculus [] [src]

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