User blog comment:QuasarBooster/The Wackermann function/@comment-39128220-20200217133420/@comment-24923514-20200217154018

Yes, please refrain from spamming comments.

Also, to quickly evaluate Wack(100), I would split it up and just evaluate the equivalent in Ackermann. Using the unpairing rules above, L(100) = 13, so a = 13*16/2 - 100 = 4 and b = 100 - 13*14/2 = 9. Therefore Wack(100) = Ack(4,9) = 2^^12 - 3.