| ►Operation | A function that processes 0 or more Operands as data for computation |
| ->[expression] | Pushes the contents of an Operand onto the front of an Expression (quoted) |
| ->[lexicon] | Pushes the contents of an Operand onto the front of a Lexicon (quoted) |
| ->[literal] | Pushes the contents of an Operand onto the front of a Literal (quoted) |
| ->[operator] | Pushes the contents of an Operand onto the front of an Operator (quoted) |
| <-[...] | Pops the first element, quoted |
| <-[characters] | Pops the first character, quoted |
| <-[code` points] | Pops the first code point, quoted |
| <-[forms] | Pops the first form (a non-empty list of zero or one Operator(s), followed by zero or more Operands), quoted |
| <-[operand...] | Pops the first Operand (if any), quoted |
| <-[operator...] | Pops the first Operator (if any), quoted |
| <-[pairs] | Pops the first pair (a non-empty list of zero or one Operator(s), followed by zero or one Operand(s)), quoted |
| <-[separator...] | Pops the first Separator (if any), quoted |
| <-[terms] | Pops the first term (Operator or Operand), quoted |
| = | Compares two Operands for equality |
| [...]-> | Pops the last element, quoted |
| [...operand]-> | Pops the last Operand (if any), quoted |
| [...operator]-> | Pops the last Operator (if any), quoted |
| [...separator]-> | Pops the last Separator (if any), quoted |
| [characters]-> | Pops the last character, quoted |
| [code` points]-> | Pops the last code point, quoted |
| [expression]<- | Pushes the contents of an Operand onto the back of an Expression (quoted) |
| [forms]-> | Pops the last form (a non-empty list of zero or one Operator(s), followed by zero or more Operands), quoted |
| [lexicon]<- | Pushes the contents of an Operand onto the back of a Lexicon (quoted) |
| [literal]<- | Pushes the contents of an Operand onto the back of a Literal (quoted) |
| [operator]<- | Pushes the contents of an Operand onto the back of an Operator (quoted) |
| [pairs]-> | Pops the last pair (a non-empty list of zero or one Operator(s), followed by zero or one Operand(s)), quoted |
| [terms]-> | Pops the last term (Operator or Operand), quoted |
| choose | If the third Operand is empty, it is replaced with the first Operand; otherwise, it is replaced with the second |
| copy | Copies an Operand |
| decode | Decodes encoded characters (non-recursively) |
| define | Evaluates and dequotes an Expression with an environment that contains additionally-defined Operators |
| dequote | Strips the outer braces from an Operand |
| do | Converts an Operand to a quoted Operator, then dequotes |
| drop | Deletes an Operand |
| encode | Encodes all special characters (non-recursively) |
| environment | Produces the Lexicon for the current environment |
| evaluate | Evaluates an Expression in place, within the current environment |
| expression | Normalizes the Operand as a quoted Expression |
| fill | "Fills" an Expression such that none of its Operators is not followed by an Operand |
| find | Finds the Operator, and its Operand mapping (if any), in a Lexicon |
| inject | Inserts a Program before each Operand of another |
| lexicon | Normalizes the Operand as a quoted Lexicon |
| normalize | Performs a Unicode compatibility normalization (NFKD) on the contents of the Operand |
| operand | Normalizes the Operand as a quoted Operand |
| operator | Normalizes the Operand as a quoted Operator |
| pair | Normalizes the first Operand as containing an Expression, then appends the second Operand to the Expression |
| quote | Encloses an Operand in braces |
| rearrange | Rearranges Operands |
| separator | Normalizes the Operand as a quoted Separator |
| skip | Skips over an Operand and dequotes |
| substitute | Applies a Lexicon to an Expression resulting in recursive Operator replacement, without using definitions from the enclosing scope |
| swap | Swaps two Operands |
| system | Produces the system Lexicon |
| ►Program | A data type that presents as a list containing 0 or more elements |
| Expression | A Program optimized for evaluation |
| Lexicon | A Program optimized for fast mapping of Operator to Operand |
| Literal | A literal Program |
| Null | The null Program |
| Operand | A Program element that wraps a Program |
| Operator | An atomic Program element defined by any UTF-8 string |
| Separator | An atomic Program element that serves to separate other elements |