[−][src]Crate lalrpop_lambda

Modules

Parse lambda expression ASTs

abs	An abstraction (`Abs`) expression
app	An application (`App`) expression
map	A `HashMap` macro like `vec!`
set	A `HashSet` macro like `set!`
var	A variable (`Var`) expression
variable	A raw `Variable`
γ	Theory is nothing without application.
λ	The all-powerful λ

Abstraction	An abstraction over a bound variable
Application	An application of two expressions
Variable	A potentially free variable

A mutually recursive definition for all lambda expressions