$$ % Typography and symbols
ewcommand{\msf}[1]{\mathsf{#1}}
ewcommand{\ctx}{\Gamma}
ewcommand{\qamp}{&\quad}
ewcommand{\qqamp}{&&\quad}
ewcommand{\Coloneqq}{::=}
ewcommand{\proves}{\vdash}
ewcommand{\star}[1]{#1^{*}}
ewcommand{\eps}{\varepsilon}
ewcommand{
... continue reading