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” |