Latex template for CO663 - Part II macros.tex contains all the macros used to typeset the slides and other lecture material main.tex shows how the main macros are used to typeset syntax, types, and semantics.