User blog comment:Wythagoras/All my stuff/@comment-10429372-20130715145943/@comment-7484840-20130716080154

Recursion on iota can be in the iota function set of later iotas. The ¥ function and the iota function are similar, and I think this about sums them up: the ¥ function diagonalises over what can be done, and the iota over what has been done. Therefore, the ¥ function is marginally more powerful than the iota. For now, and if course as soon as anyone tries to attempt to define any values of the ¥ function in more detail, then they will enter the iota function set,because then this will be another function that is not the ¥ function itself that can be in the iota function set.