User blog comment:Wythagoras/Dollar Function: new version/@comment-25418284-20131020084343

I think I'm missing something here. Suppose we try to solve 10$1. By rule 3, this expands to 10$0][0][0][0][0][0][0][0][0][0, and rule 2 gives us 10$[10[0][0][0][0][0][0][0][0][0]]. What rule applies now?