User blog:Ubersketch/My unnamed function is finished?

So this is pretty exciting, since I've officially found semi-formal rules for my function I explained a few days ago. Here are the rules. 1. f(a){[1]b} = f(f(... where the function is applied b times to a 2. f(a){[b]c} = f(a){[b-1]a[b-1]a...} where there are c as. 3. f(a){[b]c[d]e...} is evaluated like so: f(a){[b]c} = f(a) in f(a){[d]e} = f(a) in... until it is fully evaluated.

f(a) can be any function, but to be self-contained, a+ = the successor of a I have plans to getting around to mensor function inputs and mensor seperators/limit ordinal seperators.