User:12AbBa/Darren's Array Notation

Darren's array notation is a notation invented by Darren Li (wiki user Testitemqlstudop).

Definition
(Here I polish the notation, but its strength is still the same)

Bead rule: Feed rule: \(\{a_0,a_1,\dots,a_n\}=\{a_0-1,\underbrace{\{a_0-1,a_1,\dots,a_n\},\dots,\{a_0-1,a_1,\dots,a_n\}}_n\}\)
 * {}=1
 * {a}=a+1
 * {a,b}=a{b}a