curry-howard

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

Diffstat

1 file changed, 1 insertion, 0 deletions

diff --git a/.gitignore b/.gitignore
@@ -12,3 +12,4 @@ _minted-main
 *.fdb_latexmk
 *.fls
 *.vrb
+*.bcf