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: a13340340fe8acab713e86419b8a4b56969f0724
Parent: f31841cb7ad1bb28d20376bdee514dfa7e6dcd58
Author: Pablo <pablo-escobar@riseup.net>
Date: Sun, 9 Oct 2022 23:03:23 +0000

Changed the monospace font

Also changed the formating of enumerations

Diffstat

1 file changed, 3 insertions, 1 deletion

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

diff --git a/preamble.tex b/preamble.tex
@@ -12,6 +12,7 @@
 \usepackage{graphicx, wrapfig}
 \usepackage[normalem]{ulem}
 \usepackage{minted}
+\usepackage{fontspec}
 
 % Set the color scheme used by minted
 \usemintedstyle{manni}
@@ -54,9 +55,10 @@
 % Beamer settings
 \usetheme[progressbar=frametitle]{metropolis}
 \setbeamertemplate{itemize items}{\textbullet}
+\setmonofont{DejaVu Sans Mono}
 
 % Configure how items look
-\setenumerate[0]{label={\normalfont(\roman*)}}
+\setenumerate[0]{label={\normalfont\arabic*.}}
 \setitemize{label=\usebeamerfont*{itemize item}%
   \usebeamercolor[fg]{itemize item}
   \usebeamertemplate{itemize item}}