supplement.tex

\documentclass[dvipsnames]{article}

\hbadness=99999
\usepackage{silence}

% font
\usepackage{iftex}
\ifPDFTeX
  \usepackage{libertinust1math}
  \usepackage{libertine}
\else
  \usepackage{libertinus}
\fi
\usepackage[scaled=0.8]{FiraMono}

% geometry
\usepackage[margin=1in]{geometry}

% math and symbols
\usepackage{amsmath}
\usepackage{amssymb}
\usepackage{amsfonts}
\usepackage{amsthm}
\usepackage{thmtools}
\usepackage{mathtools}
\usepackage{mathpartir}
\usepackage{stmaryrd}
\WarningFilter{latexfont}{Font shape `U/stmry/b/n' undefined}
\WarningFilter{latexfont}{Some font shapes were not available}

\usepackage{bm}
\usepackage{relsize}
\usepackage{centernot}

% hyperlinks
\usepackage[colorlinks=true, linkcolor=purple]{hyperref}
\usepackage[capitalise, noabbrev]{cleveref}

% enumeration
\usepackage{enumitem}

% colors
\usepackage{scalerel}
\usepackage[dvipsnames]{xcolor}
\usepackage[most]{tcolorbox}

% theorem types
\declaretheorem[name=Theorem, parent=section]{theorem}
\declaretheorem[name=Lemma, parent=theorem]{lemma}
\declaretheorem[name=Lemma, sibling=theorem]{lemma*}
\declaretheorem[name=Definition, parent=section, style=definition]{definition}

% toc
\makeatletter
\renewcommand\tableofcontents{%
    \@starttoc{toc}%
}
\makeatother
\setcounter{tocdepth}{2}

\input{symbols}
\input{macros}

\newtcolorbox{mybox}[2][]
{
  on line,
  hbox,
  boxsep=0pt,
  left=1pt,
  right=1pt,
  top=1pt,
  bottom=1pt,
  colframe=white,
  colback=#2
  #1,
}
\newcommand\goodcolor[2]{%
  \protect\leavevmode
  \begingroup
    \color{#1}%
    #2%
  \endgroup
}

\usepackage{subfiles}

\begin{document}
\tableofcontents
\newpage

\renewcommand{\thesection}{\Alph{section}}

\subfile{supplement/marked}
\newpage

\subfile{supplement/patterned}
\newpage

\subfile{supplement/polymorphism}
\newpage

\subfile{supplement/untyped}
\newpage

\subfile{supplement/typed}
\newpage

\subfile{supplement/constraintRules}

\end{document}