%!TEX root = ../Main.tex

\section{Static Semantics}
\input{section/03-Statics/01-KindsOfTypes.tex}
\input{section/03-Statics/02-TypesOfExps.tex}
