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 lambda expression to a Term; the lambda can be represented either with the greek letter (λ) or a backslash (\ - less aesthetic, but only one byte in size).