[−][src]Crate lalrpop_lambda
Modules
parse | Parse lambda expression ASTs |
Macros
abs | An abstraction ( |
app | An application ( |
map | A |
set | A |
var | A variable ( |
variable | A raw |
γ | Theory is nothing without application. |
λ | The all-powerful λ |
Structs
Abstraction | An abstraction over a bound variable |
Application | An application of two expressions |
Variable | A potentially free variable |
Enums
Expression | A mutually recursive definition for all lambda expressions |