Functions

Define and call a function

spec greet(name):
    output("Welcome, |name|!")
greet("Beacon")

Lambda function example

double = den x: x * 2
output(double(4))