preamble.tex

\usepackage{graphicx}
\usepackage[explicit]{titlesec}
\usepackage[utf8]{inputenc}
\usepackage[backend=biber, style=numeric, sorting=ydnt]{biblatex}
\usepackage[dvipsnames]{xcolor}
\usepackage{amsmath}
\usepackage{semantic}
\usepackage{minted}
\usemintedstyle{colorful}
\usepackage{stmaryrd}
\usepackage{wasysym}
\DeclareMathAlphabet{\mathdcal}{U}{dutchcal}{m}{n}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{yhmath}

\usepackage[edges]{forest}

\usetikzlibrary{calc, arrows}
\usepackage[labelfont=bf]{caption}
\usepackage[labelfont=bf]{subcaption}
\usepackage[normalem]{ulem}
\makeatletter
\def\uwave{\bgroup \markoverwith{\lower3.5\p@\hbox{\sixly \textcolor{red}{\char58}}}\ULon}
\font\sixly=lasy6 % does not re-load if already loaded, so no memory problem.
\makeatother

\usepackage{soul}
\usepackage{tikz}
\usetikzlibrary{3d, shapes.geometric, positioning, chains, trees, arrows.meta, calc, backgrounds}
\usepackage{pgfplots}
\usepackage{svg}
\usepackage {siunitx}

\newcommand{\hlc}[2][yellow]{{%
    \colorlet{foo}{#1}%
    \sethlcolor{foo}\hl{#2}}%
}
\newcommand{\error}[1]{\hlc[pink!50]{#1}}
\newcommand{\hlcmaths}[2][yellow!50]{\colorbox{#1}{$\displaystyle #2$}}

\newcommand{\code}[1]{\text{\mintinline{reason}{#1}}}
\newcommand{\codeE}[1]{\text{\mintinline[mathescape=||]{reason}{#1}}}
\newcommand{\dyn}{{\color{teal}\texttt{?}}}
\newcommand{\casthl}[4][yellow!50]{\ensuremath{\code{#4}^{\text{\hlc[#1]{${\langle$\code{#2}$ \Rightarrow $\code{#3}$\rangle}$}}}}}
\newcommand{\cast}[3]{\casthl[red!0]{#1}{#2}{#3}}
\newcommand{\casterror}[3]{\casthl[pink!50]{#1}{#2}{#3}}

\newcommand{\hole}[1][]{{\color{teal}\llparenthesis} #1 {\color{teal}\rrparenthesis}}
\newcommand{\gap}{{\color{teal}\Box}}
\newcommand{\cmark}{{\color{blue}\Circle}}
\newcommand{\scast}[2]{{\color{blue}\langle} #1 {\color{blue}\Rightarrow} #2 {\color{blue}\rangle}}
\newcommand{\scasterror}[2]{{\color{red}\langle} #1 {\color{red}\Rightarrow} \dyn {\color{red}\nRightarrow} #2 {\color{red}\rangle}}
\newcommand{\scastcast}[3]{{\color{blue}\langle} #1 {\color{blue}\Rightarrow} #2 {\color{blue}\Rightarrow} #3 {\color{blue}\rangle}}

\newcommand{\synthesis}[3][\Gamma]{#1 \vdash #2 {\color{BrickRed}\ \Rightarrow}\ #3}
\newcommand{\synthesissliceindexed}[3][\Gamma]{#1 \vdash #2 \dashv_{\color{BrickRed}\Rightarrow}#3}
\newcommand{\synthesisslice}[4][\Gamma]{#1 \vdash #2 {\color{BrickRed}\ \Rightarrow}\ #3 \mid #4}
\newcommand{\contributionslice}[4][\Gamma]{#1 \vdash #2 {\color{BrickRed}\ \Rightarrow}\ #3 \mid_{\text{C}} #4}

\newcommand{\analysis}[3][\Gamma]{#1 \vdash #2 {\color{BlueViolet}\ \Leftarrow}\ #3}
\newcommand{\typeassignment}[3][\Delta;\Gamma]{#1 \vdash #2 : #3}
\newcommand{\analysisslice}[5][\Gamma]{#1; #2 \vdash #3 {\color{BlueViolet}\ \Leftarrow}\ #4 \mid #5}
\newcommand{\contributionanalysisslice}[6][\Gamma]{#1; #2 \vdash #3 {\color{BlueViolet}\ \Leftarrow}\ #4 \mid_{\text{C}} #5 \mid #6}
\newcommand{\analysissliceindexed}[4][\Gamma]{#1 \vdash #2 {\color{BlueViolet}\Leftarrow} #3 \mid #4}
%\newcommand{\typeassignment}[3][\Delta;\Gamma]{#1 \vdash #2 : #3}
\newcommand{\elaborationSynthesis}[5][\Gamma]{#1 \vdash #2 {\color{BrickRed}\ \Rightarrow\ } #3 \leadsto #4 \dashv #5}
\newcommand{\elaborationAnalysis}[6][\Gamma]{#1 \vdash #2 {\color{BlueViolet}\ \Leftarrow\ } #3 \leadsto #4 : #5 \dashv #6}

\newcommand{\match}[1]{\blacktriangleright_{#1}}
\newcommand{\funmatch}{\blacktriangleright_\rightarrow}
\newcommand{\typematch}{\blacktriangleright_{\text{type}}}
\newcommand{\ground}[1][\tau]{#1\text{ ground}}
\newcommand{\groundmatch}{\blacktriangleright_{\text{ground}}}
\newcommand{\final}[1][d]{#1\text{ final}}
\newcommand{\val}[1][d]{#1\text{ val}}
\newcommand{\boxedval}[1][d]{#1\text{ boxedval}}
\newcommand{\indet}[1][d]{#1\text{ indet}}

\newcommand{\contextualsub}[1][d/u]{\llbracket #1 \rrbracket}

\newcommand{\synthesisSlice}[4][\Gamma]{#1 \vdash #2 {\color{BrickRed}\ \Rightarrow}\ #3\ \mid #4}
\newcommand{\analysisSlice}[4][\Gamma]{#1 \vdash #2 {\color{BlueViolet}\ \Leftarrow}\ #3\ \mid #4}

\newcommand{\elaborationSynthesisSlice}[6][\Gamma]{#1 \vdash #2 {\color{BrickRed}\ \Rightarrow\ } #3 \mid #4 \leadsto #5 \dashv #6}
\newcommand{\elaborationAnalysisSlice}[9][\Gamma]{#1;\ #2 \vdash #3 {\color{BlueViolet}\ \Leftarrow\ } #4 \mid #5 \leadsto #6 : #7 \mid #8 \dashv #9}

\newcommand{\type}[1]{\llbracket #1 \rrbracket}

\addbibresource{References/refs.bib}
\makeindex


\usepackage{hyperref}
\hypersetup{
    colorlinks=true,
    linkcolor=blue,
    filecolor=magenta,      
    urlcolor=cyan,
    citecolor=magenta,
    pdftitle={\theauthor: \thetitle},
    pdfpagemode=FullScreen,
    }

\usepackage{cleveref}
\usepackage{fvextra} \DefineVerbatimEnvironment{Highlighting}{Verbatim}{breaklines,commandchars=\\\{\}} 

\usepackage{centernot}

\newtheorem{conjecture}{Conjecture}
\newtheorem{definition}{Definition}
\newtheorem{proposition}{Proposition}

\urlstyle{same}
\newcommand{\secref}[1]{\S\ref{#1}}


\immediate\write18{texcount -inc -sum=1,0,0,0,0,0,0 -0 \jobname.tex > wordcount.aux }
\newcommand{\wordcount}{\input{wordcount.aux}}

\setsecnumdepth{subsection}