Slides of a (very) informal lecture of mine on the Curry-Howard correspondence
1 def f(n): 2 if n == 0: 3 return 1 4 else: 5 return n * f(n - 1)