| Name | Syntax | Example | Explanation |
|---|---|---|---|
| Variable | <name> | x | a variable named “x” |
| Function | λ<parameters>.<body> | λx.x | a function with parameter “x” and body “x” |
| Application | <function><variable or function> | (λx.x)a | calling the function “λx.x” with argument “a” |
Search
Apr 30, 20241 min read
| Name | Syntax | Example | Explanation |
|---|---|---|---|
| Variable | <name> | x | a variable named “x” |
| Function | λ<parameters>.<body> | λx.x | a function with parameter “x” and body “x” |
| Application | <function><variable or function> | (λx.x)a | calling the function “λx.x” with argument “a” |