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: 3eae4e81033f022b54edea724fad87787e7b21c2
Parent: 1e58027526015dc6011165d5279ec0a423e6dcc8
Author: Pablo <pablo-escobar@riseup.net>
Date: Sun, 9 Oct 2022 01:32:37 +0000

Changed the preamble of the document

Diffstat

2 files changed, 73 insertions, 4 deletions

Status	File Name	N° Changes	Insertions	Deletions
Modified	main.tex	8	4	4
Added	preamble.tex	69	69	0

diff --git a/main.tex b/main.tex
@@ -1,11 +1,11 @@
 \def\hidepauses{yes}
-\input{preamble-beamer}
+\input{preamble}
 
 \definecolor{hacker}{RGB}{4,165,90}
 
 \title{Como fazer matemática com um computador?}
-\author{Pablo}
-\date{Agosto de 2021}
+\author{Pablo \\ \texttt{pablopie.xyz}}
+\date{Outubro de 2022}
 
 \begin{document}
 \begin{frame}
@@ -36,7 +36,7 @@
 
 \input{sections/curry}
 
-\input{sections/exploratory}
+%\input{sections/exploratory}
 
 \end{document}

diff --git a/preamble.tex b/preamble.tex
@@ -0,0 +1,69 @@
+\ifdefined\hidepauses
+  \documentclass[handout, notheorems, 9pt]{beamer}
+\else
+  \documentclass[notheorems, 9pt]{beamer}
+\fi
+\usepackage{amsmath, amssymb, amsthm, stmaryrd, gensymb}
+\usepackage{mathtools, adjustbox}
+\usepackage{enumitem, xfrac, xcolor, cancel, multicol, tabularx, relsize}
+\usepackage{fancyvrb, hyperref, csquotes}
+\usepackage[backend=biber]{biblatex}
+\usepackage{pgfplots, tikz, tikz-cd}
+\usepackage{graphicx, wrapfig}
+\usepackage[normalem]{ulem}
+\usepackage{minted}
+
+% Set the color scheme used by minted
+\usemintedstyle{friendly}
+
+% Configure graphics
+\usetikzlibrary{calc, shadows.blur, shapes.geometric, patterns, arrows}
+\pgfplotsset{compat=1.16}
+
+% Get propper inequality symbols
+\renewcommand{\leq}{\leqslant}
+\renewcommand{\le}{\leqslant}
+\renewcommand{\geq}{\geqslant}
+\renewcommand{\ge}{\geqslant}
+\renewcommand{\preceq}{\preccurlyeq}
+\renewcommand{\succeq}{\succcurlyeq}
+
+% Display long arrows instead of short ones
+\renewcommand{\to}{\longrightarrow}
+\renewcommand{\mapsto}{\longmapsto}
+
+% Blockquotes
+\let\blockquote\relax
+\NewDocumentEnvironment{blockquote}{m O{Citação}}
+  {\begin{block}{#2}}
+  {\newline {\normalfont \rightline{--- #1}}\end{block}}
+
+% Useful theorem definitions
+\newtheorem*{theorem}{Teorema}
+\newtheorem*{lemma}{Lema}
+\newtheorem*{corollary}{Corolário}
+\newtheorem*{proposition}{Proposição}
+\theoremstyle{definition}
+\newtheorem*{definition}{Definição}
+\newtheorem*{example}{Exemplo}
+\theoremstyle{remark}
+\let\note\relax
+\newtheorem*{fact}{Fato}
+\newtheorem*{note}{Nota}
+
+% Beamer settings
+\usetheme[progressbar=frametitle]{metropolis}
+\setbeamertemplate{itemize items}{\textbullet}
+
+% Configure how items look
+\setenumerate[0]{label={\normalfont(\roman*)}}
+\setitemize{label=\usebeamerfont*{itemize item}%
+  \usebeamercolor[fg]{itemize item}
+  \usebeamertemplate{itemize item}}
+   
+% Configure the spacing of columns in tables
+\setlength{\tabcolsep}{5pt}
+
+% Include references that aren't cited anywhere
+\nocite{*}
+