Module lambda_calculus::parser [−][src]
Expand description
A parser for lambda expressions
Re-exports
pub use crate::term::Notation::*;
Enums
An error returned by parse()
when a parsing issue is encountered.
Functions
Attempts to parse the input &str
as a lambda Term
encoded in the given Notation
.