User blog comment:Nayuta Ito/generalization of arrow notation/@comment-1605058-20141025172056

Actually, I think there is something wrong with this - look at evaluation 3{1.1}3:

3{1.1}3

3{0.1}3{1.1}2

3{0.1}3{0.1}3{1.1}1

3{0.1}3{0.1}3{0.1}3{0.1}0

3{0.1}3{0.1}3{0.1}(3^(0^0.1)*0^0.9)

3{0.1}3{0.1}3{0.1}0

3{0.1}3{0.1}0

3{0.1}0

0

You can fix this, I believe, by making first rule apply when b>1, not b>=1.