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: 511e69a40ac54368f0f0b09d93595c9d4453636b
Parent: 7d55c1ed4b9378815f9d72eaecee4087b37d09cc
Author: Pablo <pablo-escobar@riseup.net>
Date: Sat, 25 Dec 2021 11:40:13 +0000

Removed the PDF output from the repo

Diffstat

2 files changed, 1 insertion, 0 deletions

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

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

diff --git a/main.pdf b/main.pdf
Binary files differ.