blob: 8cd19f08862fe3c84feaf88ae797213d31e587d8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
\documentclass[../main.tex]{subfiles}
\begin{document}
\section{Fuelled Self-Reducer for System T}%
\label{sec:reducer}
\TODO{
\begin{itemize}
\item fuelled self-reducer
\item high-level strategy
\item example: case distinction
\item qualitative comparison
\item quantitative comparison (dLoC)
\end{itemize}
}
\end{document}
|
