diff options
| -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}% |