Module 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.

parse_with_context

Attempts to parse the input &str using a provided context of free variables.