curry-howard

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

Commit
5bf1a87a617e426b842f3b7c5f6aaa0317dd192f
Parent
ae627bc81642c146eb14fe1de617f4be70bb19d0
Author
Pablo <pablo-escobar@riseup.net>
Date

Removed some imports from the main file

Diffstat

1 file changed, 0 insertions, 2 deletions

Status File Name N° Changes Insertions Deletions
Modified main.tex 2 0 2 
diff --git a/main.tex b/main.tex
@@ -1,6 +1,4 @@
 \input{preamble-beamer}
-\usepackage{minted}
-\usemintedstyle{friendly}
 
 \definecolor{hacker}{RGB}{4,165,90}