curry-howard

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

Diffstat

1 file changed, 4 insertions, 4 deletions

diff --git a/examples/factorial.py b/examples/factorial.py
@@ -1,5 +1,5 @@
 def f(n):
-    if n == 0:
-        return 1
-    else:
-        return n * f(n - 1)
+   if n == 0:
+      return 1
+   else:
+      return n * f(n - 1)