Module lambda_calculus::parser

A parser for lambda expressions with De Bruijn indices

Enums

Error

A type to represent a parsing error.

Functions

parse

Parses the input &str as a lambda Term. The lambdas can be represented either with the greek letter (λ) or a backslash (\ - less aesthetic, but only one byte in size), the De Bruijn indices start with 1 and are hexadecimal digits, and whitespaces are ignored.