projects
/
matthijs
/
master-project
/
final-presentation.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Add sections and subsections to PDF
[matthijs/master-project/final-presentation.git]
/
christiaan
/
structure.lhs
diff --git
a/christiaan/structure.lhs
b/christiaan/structure.lhs
index 2c813972d9235f317e1cb8996cb2aed742ac762d..585160fa66becaea1e5110c8f8816aa724679b64 100644
(file)
--- a/
christiaan/structure.lhs
+++ b/
christiaan/structure.lhs
@@
-1,4
+1,4
@@
-\section{Structure}
+\s
ubs
ection{Structure}
%include talk.fmt
\frame{
\frametitle{Structure}
%include talk.fmt
\frame{
\frametitle{Structure}
@@
-24,7
+24,7
@@
fir (State pxs) x = (pxs**hs, State (pxs<++x))
\end{itemize}
}
\end{itemize}
}
-\subsection{Size Inference}
+\subs
ubs
ection{Size Inference}
\frame{
\frametitle{Infer Size}
\begin{itemize}
\frame{
\frametitle{Infer Size}
\begin{itemize}
@@
-45,7
+45,7
@@
fir (State pxs) x = (pxs**hs, State (pxs<++x))
\end{verbatim}
}
\end{verbatim}
}
-\subsection{Size Specification}
+\subs
ubs
ection{Size Specification}
\frame{
\frametitle{Specify Size}
\begin{itemize}
\frame{
\frametitle{Specify Size}
\begin{itemize}