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.