[−][src]Crate lambda_calculus
lambda_calculus is a simple implementation of the untyped lambda calculus in Rust.
Re-exports
pub use self::term::Term; |
pub use self::term::abs; |
pub use self::term::app; |
pub use self::term::UD; |
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; |
pub use crate::data::num::convert::*; |
pub use crate::data::num::convert::Encoding::*; |
pub use crate::data::list::convert::*; |
Modules
combinators | |
data | Lambda-encoded data types |
parser | A parser for lambda expressions |
reduction | β-reduction for lambda |
term |
Macros
abs | A macro for multiple abstraction of |
app | A macro for chain application of |
pi | A macro for obtaining a projection function ( |
tuple | A macro for creating lambda-encoded tuples. |