Ackermann Implementation of the Ackermann function using lambda encoded numbers, pairs and control flow functions. The function itself uses direct recursion.