curry-howard

 \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}
 \usepackage{fontspec}
 
 % Set the color scheme used by minted
 \usemintedstyle{manni}
 
 % 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}
 \setmonofont{DejaVu Sans Mono}
 
 % Configure how items look
 \setenumerate[0]{label={\normalfont\arabic*.}}
 \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{*}