curry-howard

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

git clone: git://git.pablopie.xyz/curry-howard
Log
Files
Refs
README
LICENSE

Commit: 1e58027526015dc6011165d5279ec0a423e6dcc8
Parent: 38389871f43c4967e0f2f2b4c101f7761428d20c
Author: Pablo <pablo-escobar@riseup.net>
Date: Sun, 9 Oct 2022 01:31:35 +0000

Fixed a typo

Diffstat

1 file changed, 1 insertion, 1 deletion

Status	File Name	N° Changes	Insertions	Deletions
Modified	examples/typechecking.c	2	1	1

diff --git a/examples/typechecking.c b/examples/typechecking.c
@@ -1,6 +1,6 @@
 unsigned int f(unsigned int n)
 {
-  if (n == 0) return 0;
+  if (n == 0) return 1;
   else return n * f(n - 1);
 }