From bffac49c2e541844f5b094492916eed618ca26b4 Mon Sep 17 00:00:00 2001
From: Chloe Brown <chloe.brown.00@outlook.com>
Date: Wed, 25 Jun 2025 17:43:11 +0100
Subject: Fix 393--401.

---
 sec/encoding.ltx | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'sec/encoding.ltx')

diff --git a/sec/encoding.ltx b/sec/encoding.ltx
index 76bd922..4d1ce74 100644
--- a/sec/encoding.ltx
+++ b/sec/encoding.ltx
@@ -17,7 +17,7 @@ of seven phases are:
 \item encoding lists using eliminators.
 \item introducing unions to encode sums as a tagged union.
 \item encoding products as an indexed union.
-\item encoding unnions of System~T types.
+\item encoding unions of System~T types.
 \item removing syntactic sugar we introduced, such as the \arb{} operator that
   represents an arbitrary value of a given type.
 \end{enumerate}
-- 
cgit v1.2.3

