User blog comment:KthulhuHimself/Norminals Revisited./@comment-25601061-20160203001709/@comment-27014275-20160322092651

" ] N[ 0 (0) = 10   ] N[ 0 (n+1) =  N  ]N[0(n) (10) "

Keep in mind that " N  ]N[0(n) (10) " represents the regular norminals function, and not the nihilis function.

I can say for certain that the definition is just fine, and doesn't loop.