diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2025-06-19 00:26:46 +0100 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2025-06-19 00:26:46 +0100 |
| commit | 437b0c42e713774e7a27ccdc1f08770e30aeacbd (patch) | |
| tree | 1800fab6ef4618b3fa3ef6f116fc03d43a968b76 /sec/intro.ltx | |
| parent | f99a6ff28455e693865ed7174a334f0c68b46135 (diff) | |
Fix missing character warning.
Diffstat (limited to 'sec/intro.ltx')
| -rw-r--r-- | sec/intro.ltx | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sec/intro.ltx b/sec/intro.ltx index 0a50ff4..f520bc4 100644 --- a/sec/intro.ltx +++ b/sec/intro.ltx @@ -24,7 +24,7 @@ \subsubsection*{Contributions}% In this paper we: -\begin{itemize} +\begin{itemize}[nosep] \item contrast different methods for encoding inductive types in System~T (\cref{M-subsec:encoding-strategies}); \item give the syntax, typing rules and equational theory for |