Crate minilamb 

Re-exports

pub use engine::EvaluationError;

pub use engine::evaluate;

pub use engine::reduce_once;

pub use engine::shift;

pub use engine::simplify;

pub use engine::substitute;

pub use expr::Expr;

pub use expr::IntoExpr;

pub use lexer::Lexer;

pub use lexer::Token;

pub use parser::ParseError;

pub use parser::ParseMode;

pub use parser::Parser;

Modules

engine

expr

lexer

parser

Macros

abs

Macro for creating lambda abstractions with ergonomic syntax.

app

Macro for creating applications with ergonomic syntax.

Functions

parse

Parse a lambda calculus expression from a string.

parse_and_evaluate

Parse and evaluate a lambda calculus expression.