Merge remote-tracking branch 'origin/master'

beamer/beamer.tex

@@ -1,6 +1,5 @@
 \documentclass{beamer}
 \usepackage{tikz}
-%\usepackage{minted}
 
 \usetikzlibrary{positioning}
 \usetheme{Darmstadt}
@@ -43,42 +42,6 @@
 		\centering
 		\includegraphics[width=.75\textwidth]{imgs/gadt.png}
 	\end{figure}
-%type _ t_var =
-%  | BVar: ident -> bool t_var
-%  | IVar: ident -> int t_var
-%  | RVar: ident -> real t_var
-%
-%type _ t_expression =
-%  | EVar: 'a t_var -> 'a t_expression
-%  | EMonOp: monop * 'a t_expression -> 'a t_expression
-%  | EBinOp: binop * 'a t_expression * 'a t_expression -> 'a t_expression
-%  | ETriOp: triop * bool t_expression * 'a t_expression * 'a t_expression -> 'a t_expression
-%  | EComp:  compop * 'a t_expression * 'a t_expression -> bool t_expression
-%  | EConst: 'a const -> 'a t_expression
-%  | ETuple: 'a t_expression * 'b t_expression -> ('a * 'b) t_expression
-%  | EApp: (('a -> 'b) t_node) * 'a t_expression -> 'b t_expression
-%
-%and _ t_varlist =
-%  | NVar: 'a t_varlist
-%  | CVar: 'a t_var * 'b t_varlist -> ('a * 'b) t_varlist
-%
-%and 'a t_equation = 'a t_varlist * 'a t_expression
-%
-%and _ t_eqlist =
-%  | NEql: unit t_eqlist
-%  | CEql: 'a t_equation * 'b t_eqlist -> ('a * 'b) t_eqlist
-%
-%and _ t_node =
-%  | MakeNode:
-%    ident
-%    * 'i t_varlist * 'o t_varlist
-%    * 'l t_varlist * 'e t_eqlist
-%    -> ('i -> 'o) t_node
-%
-%type _ t_nodelist =
-%  | NNode: unit t_nodelist
-%  | CNode: ('a -> 'b) t_node * 'c t_nodelist -> (('a -> 'b) * 'c) t_nodelist
-%	\end{minted}
 \end{frame}
 \begin{frame}
 	\begin{block}{Pros of using GADTs}
@@ -134,7 +97,7 @@
 
 \section{Passes}
 \begin{frame}{Passes}
-	\begin{block}
+	\begin{block}{Classification}
 		The passes of our compiler are functions of taking a program and either:
 		\begin{itemize}
 			\item returning a program if the pass succeeded