From a2afd4b08dc2b7eada2f95ee95457457a3331344 Mon Sep 17 00:00:00 2001
From: Chloe Brown <chloe.brown.00@outlook.com>
Date: Tue, 25 Mar 2025 16:52:43 +0000
Subject: Before the big rewrite

---
 sec/reducer.ltx | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100644 sec/reducer.ltx

(limited to 'sec/reducer.ltx')

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}
-- 
cgit v1.2.3

