User blog:BestNoobReborn/Best's Function Formula

Best's Function Formula is a system much like Set Theory, but Set Theory hurts BNR's brain so he made this.

Definition

 * Start writing in Best's Function Formula by writing bff{x} with x being your table of function rules.
 * grp{x} with x being a table of values can be used to represent a group of values.
 * Define eq{x} with x being grp{a table} as true if all values in x as a group are the same.
 * Define not{x} with x being a bool (such as eq{y}) as the opposite of x.
 * def{0, x, y} with x being a variable name and y being a value allows you to use x anywhere in the bff{z}.
 * if{x, y} with x being another part of BFF and y being a bool applies x if y is true.

Examples
Gn (Graham's Function) can be written as bff{if{def{x, 3↑↑↑↑3}, eq{grp{n, 1}}}, if{def{x, 3↑Gn-1}, not{eq{grp{n, 1}}}}}.