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: 8c578a69b6a5b71a737a31f0bf69ed4dd1223760
Parent: 027eae2014fc1fb88d55a11e5dc53ae787f6910a
Author: Pablo <pablo-escobar@riseup.net>
Date: Sat, 15 Oct 2022 12:34:12 +0000

Removed the pauses

Diffstat

1 file changed, 1 insertion, 1 deletion

Status	File Name	N° Changes	Insertions	Deletions
Modified	main.tex	2	1	1

diff --git a/main.tex b/main.tex
@@ -1,4 +1,4 @@
-%\def\hidepauses{yes}
+\def\hidepauses{yes}
 \input{preamble}
 
 \definecolor{hacker}{RGB}{4,165,90}