notes.tex

%----------------------------------------------------------------------------------------
%	PACKAGES AND OTHER DOCUMENT CONFIGURATIONS
%----------------------------------------------------------------------------------------

\documentclass[a4paper, 11pt]{article}
\usepackage[margin=1in]{geometry}
\usepackage{amsmath,amsfonts,amssymb}
\usepackage{theoremref}
\usepackage{enumerate}
\usepackage{environ}
\usepackage{hyperref}
\usepackage{xcolor}

\usepackage[protrusion=true,expansion=true]{microtype} % Better typography

\usepackage{mathpazo} % Use the Palatino font
\usepackage[T1]{fontenc} % Required for accented characters
\linespread{1.05} % Change line spacing here, Palatino benefits from a slight increase by default

\DeclareMathOperator{\id}{id}

\makeatletter

% Customize the title
\renewcommand{\maketitle}{
  \noindent{\LARGE\@title}
  \vspace{10pt} % Some vertical space between the title and author name

  \noindent{\@author} % Author name
  \\
  Last built: \@date % Date
  \vspace{5pt}% Some vertical space between the author block and abstract
}

%--------------------------
%   417-specific things
%--------------------------
\usepackage{proof}

% Convenient way to specify date for each lecture
\newcommand{\sectionwithdate}[2]{
  \section{#1 \hfill {\small \textnormal{\emph{(#2)}}}}
}

\NewEnviron{bnf}{
  \begin{align*}
    \BODY
  \end{align*}\ignorespacesafterend
}

\newcommand{\alt}{\; \mid \;}
\newcommand{\altline}{\\&\mid \;}
\newcommand{\bnfeq}{~~&::=~~}
\newcommand{\pack}[3]{\mathtt{pack}[#1,#2]~\mathtt{as}~#3}
\newcommand{\halt}{\mathtt{halt}}
\newcommand{\letv}[3]{\mathtt{let}~#1=#2~\mathtt{in}~#3}
\newcommand{\unpack}[4]{\mathtt{unpack}[#1,#2] = #3~\mathtt{in}~#4}

\renewcommand{\int}{\textnormal{\texttt{int}}}
\newcommand{\unit}{\textnormal{\texttt{unit}}}
\newcommand{\lst}{\textnormal{\texttt{list}}}
\newcommand{\T}{\textnormal{\texttt{T}}} % Type kind
\renewcommand{\S}{\textnormal{\texttt{S}}} % Singleton kind
\newcommand{\kind}{\textnormal{kind}} % Singleton kind

% Bars
\newcommand{\taubar}{\overline{\tau}}
\newcommand{\Gammabar}{\overline{\Gamma}}
\newcommand{\ebar}{\overline{e}}
\newcommand{\kappabar}{\overline{\kappa}}

% Inverse deduction
\newcommand{\deduceinv}[2]{\deduce{#2}{#1}}
\newcommand{\qqquad}{\qquad\qquad}
\newcommand{\qqqquad}{\qquad\qquad\qquad}
\newcommand{\qqqqquad}{\qquad\qquad\qquad\qquad}
\newcommand{\qqqqqquad}{\qquad\qquad\qquad\qquad\qquad}
\newcommand{\qqqqqqquad}{\qquad\qquad\qquad\qquad\qquad\qquad}
\newcommand{\qqqqqqqquad}{\qquad\qquad\qquad\qquad\qquad\qquad\qquad}
\newcommand{\qqqqqqqqquad}{\qquad\qquad\qquad\qquad\qquad\qquad\qquad\qquad}

%-----------------------
%  Judgment
%-----------------------
\newtheorem{judgment}{Judgment}[section]

%----------------------------------------------------------------------------------------
%	TITLE
%----------------------------------------------------------------------------------------

\title{15-417 HOT Compilation (Spring 2018)}

\author{Scribe: Nick Roberts % Scribe
\\Professor: Karl Crary
\\{\textit{Carnegie Mellon University}}} % Institution

\date{\today} % Date

%----------------------------------------------------------------------------------------

\begin{document}
\maketitle % Print the title section

\input{lec01}
\include{lec02}
\include{lec03}
\include{lec04}
\include{lec05}
\include{lec06}
\include{lec07}
\include{lec08}

\end{document}