User blog comment:Mh314159/Alpha numbers (and beyond)/@comment-35470197-20191007022858/@comment-39585023-20191007214238

First point:

It is supposed to iterate as follows: α(abm,x) = α(ab,α(abm-1,x)) terminating at α(ab1,x) = α(ab,x). I will add an explicit definition to the rules.

Second point:

I missed a set of parentheses. So the definition should read α(a0,x) = α((a-1)m,x) For example, α(10,2) = α(0m,2) with m = α(10,1)

This makes me think that I might change parentheses to square brackets wherever they enclose arguments and save round parentheses for their normal grouping function. This might make the expressions easier to read in some places.