1 2 3 4 5 6 7 8 9
//! **lambda_calculus** is a simple implementation of the untyped lambda calculus in Rust. pub mod term; pub mod reduction; pub mod arithmetic; pub mod booleans; pub mod pair; pub mod list; pub mod combinators;
1 2 3 4 5 6 7 8 9
//! **lambda_calculus** is a simple implementation of the untyped lambda calculus in Rust. pub mod term; pub mod reduction; pub mod arithmetic; pub mod booleans; pub mod pair; pub mod list; pub mod combinators;