curry-howard

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

Added the PDF files in the images directory to the .gitignore

Diffstat

1 file changed, 1 insertion, 0 deletions

Status	File Name	N° Changes	Insertions	Deletions
Modified	.gitignore	1	1	0

diff --git a/.gitignore b/.gitignore
@@ -13,3 +13,4 @@ _minted-main
 *.fls
 *.vrb
 *.bcf
+images/*.pdf