summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorChloe Brown <chloe.brown.00@outlook.com>2025-04-23 16:07:26 +0100
committerChloe Brown <chloe.brown.00@outlook.com>2025-04-23 16:07:26 +0100
commitc45750588a01f532a38c01d108cde8865e612243 (patch)
tree0a1f386d71655da70ab97414b7ab9208389b30bd
parent9545af5e7b69ab5d1b044009a0de9d6e1f0c0f49 (diff)
Split item into two.
-rw-r--r--sec/systemt.ltx3
1 files changed, 2 insertions, 1 deletions
diff --git a/sec/systemt.ltx b/sec/systemt.ltx
index a808e4d..54ba5f2 100644
--- a/sec/systemt.ltx
+++ b/sec/systemt.ltx
@@ -288,7 +288,8 @@ sums in order to store the data for different constructors within a single type.
\TODO{
\begin{itemize}
\item create box-and-pointer diagram
- \item explain briefly how to fold and roll
+ \item explain how to fold
+ \item explain how to roll
\end{itemize}
}