User blog comment:Simply Beautiful Art/The largest numbers ever written in a program./@comment-5529393-20171120171503

Nice job, but I think more work needs to be done in making sure that the program works properly, before we declare it finished.

One thing I would like to see elucidated is how functions psi_a where a ends in M are diagonalized over. I believe you said that psi_M would be diagonalized by Omega_M, and psi_{M+M} by Omega_{M+M}, but I would like more explanation of why they do so.

If it's not too much trouble, could you provide an ungolfed version of the code, and an "explanation of ordinals" sheet, as you have done previously?