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: 94bcdb23742695a6aed0852e225f4756dc745557
Parent: e17a777261ed1ea1185cabcfef2b13784ad5a0ac
Author: Pablo <pablo-escobar@riseup.net>
Date: Sun, 9 Oct 2022 01:51:13 +0000

Changed the Minted style

Diffstat

1 file changed, 1 insertion, 1 deletion

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

diff --git a/preamble.tex b/preamble.tex
@@ -14,7 +14,7 @@
 \usepackage{minted}
 
 % Set the color scheme used by minted
-\usemintedstyle{friendly}
+\usemintedstyle{manni}
 
 % Configure graphics
 \usetikzlibrary{calc, shadows.blur, shapes.geometric, patterns, arrows}