beamer/beamer.tex

@@ -1,5 +1,6 @@
 \documentclass{beamer}
 \usepackage{tikz}
+%\usepackage{minted}
 
 \usetikzlibrary{positioning}
 \usetheme{Darmstadt}
@@ -42,6 +43,42 @@
 		\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}
@@ -97,7 +134,7 @@
 
 \section{Passes}
 \begin{frame}{Passes}
-	\begin{block}{Classification}
+	\begin{block}
 		The passes of our compiler are functions of taking a program and either:
 		\begin{itemize}
 			\item returning a program if the pass succeeded