User blog:! cook the lettuce/My attempt at a arrow-based ah-like function

Represent @ as the rest of the array. 1 - a<@, 1>b = a^b 2 - ac = a(ac-1) 3 - a<@, b>1 = a<1>b 4 - a<@, b>c = aa if b is a limit ord. And here's an extension I made: 2.1 - a<@, b, c>d = a<@, (w^b), c-1>d