Functions and Applications

Function Application

A function application is of the form

fun(expression, expression, ...)

Anonymous Functions

An anonymous function is of the form

(x, y, ... ) -> expression

It introduces variables x, y, … that get bound in a function application.