User blog comment:Billybob-mario/Hyperrecursion of Uncomputable Functions/@comment-4224897-20150427222636/@comment-4297047-20150428133741

Out of curiosity, where do you think my X-Sequence notation would fall?