User blog:Alemagno12/Fast-Growing Functions in Lambda Calculus (and their implementation in CoC)

Here is a way of creating fast-growing functions using Lambda Calculus, and its extension to CoC.

Part 1: Picking the base
Before we can start creating fast-growing functions, we must pick a base function to apply iteration and diagonalization on.

[WIP]