1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23
//! **lambda_calculus** is a simple implementation of the untyped lambda calculus in Rust. #![deny(missing_docs)] #[macro_use] pub mod term; pub mod parser; pub mod reduction; pub mod combinators; #[cfg(not(feature = "no_church"))] pub mod church; #[cfg(feature = "scott")] pub mod scott; #[cfg(feature = "parigot")] pub mod parigot; pub use self::term::{Term, abs, app}; pub use self::term::Term::*; pub use self::term::Notation::*; pub use self::reduction::beta; pub use self::reduction::Order::*; pub use self::parser::parse;