1 files changed, 17 insertions, 0 deletions
diff --git a/sec/reducer.ltx b/sec/reducer.ltx
new file mode 100644
index 0000000..8cd19f0
--- /dev/null
+++ b/sec/reducer.ltx
@@ -0,0 +1,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}