curry-howard

Slides of a (very) informal lecture of mine on the Curry-Howard correspondence

File Name	Size	Mode
factorial.py	74B	-rw-r--r--

1 def f(n):
2    if n == 0:
3       return 1
4    else:
5       return n * f(n - 1)