diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2025-05-06 16:05:39 +0100 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2025-05-06 16:05:39 +0100 |
| commit | 8c23267879b41a113f50b31678d1302ccbf90393 (patch) | |
| tree | 3de13d06d89ca4582fdab818ea940ccc29ba91f9 /sec/encoding.ltx | |
| parent | f060a1438a523fcd84c74c7eef73265694a1d5c2 (diff) | |
Remove some extra whitespace.
Diffstat (limited to 'sec/encoding.ltx')
| -rw-r--r-- | sec/encoding.ltx | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/sec/encoding.ltx b/sec/encoding.ltx index 96918c7..5c4fe4e 100644 --- a/sec/encoding.ltx +++ b/sec/encoding.ltx @@ -339,6 +339,7 @@ let balanced n f = primrec n with arb in snd dh (length - 1, fun i => idxs (Suc i))) \end{systemt} +\vspace{-\baselineskip} \end{listing} And \systemtinline{compose} reduces to: @@ -356,6 +357,7 @@ let compose (depth, heap) = | Branch (f, g) => fun x => f (g x) in go \end{systemt} +\vspace{-\baselineskip} \end{listing} \subsection{Phase 4: Encoding Sums}% |