Church encoding sketch in python

lambda_nums.py

nums = [
    (lambda f, x: x),
    (lambda f, x: f(x)),
    (lambda f, x: f(f(x))),
]


result = 0
calls = []
def f(x):
    global result
    global calls
    calls = [f.__name__, calls]
    result += 1

def plus(m, n, f, x):
    return m(f, n(f, x))

result = 0
plus(nums[1], nums[1], f, None)
print(result)
print(calls)