Crate lambda_calculus [−] [src]
lambda_calculus is a simple implementation of the untyped lambda calculus in Rust.
Reexports
pub use self::term::Term; |
pub use self::term::abs; |
pub use self::term::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; |
Modules
church |
Church-encoded data and operators |
combinators | |
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 |