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.