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::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 data::num::convert::*; |
pub use data::num::convert::Encoding::*; |
pub use 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. |