curry-howard

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

Adicionada a flag \hidepause em main.tex para ignorar as pausas nos slides

Diffstat

1 file changed, 1 insertion, 0 deletions

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

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