Module lambda_calculus::parser

A parser for lambda expressions

Re-exports

• pub use crate::term::Notation::*;

Enums

• ParseError
  An error returned by parse() when a parsing issue is encountered.

Functions

• parse
  Attempts to parse the input &str as a lambda Term encoded in the given Notation.