A syntax for programming with functions. Largely replaced by Expression created by John McCarthy. Used in MLisp

Function Application

f[x;y] ; apply function f with args x, y

Function Definition

label[square;lambda[[x];times[x;x]]] ; square function

Conditional

[lessp[x;0]->minus[x];T->x] ; abs conditional