Module lambda_calculus::parser [] [src]

A parser for lambda expressions

Reexports

pub use 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.