Delete a confusing part of the definition of concatbits that we don't rely on.

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
This commit is contained in:
Daira Hopwood 2021-03-26 18:05:59 +00:00
parent b27213dfd3
commit c50bdbd9ce
1 changed files with 2 additions and 3 deletions

View File

@ -2759,9 +2759,7 @@ inclusive, in descending order.
$a \bconcat b$ means the concatenation of sequences $a$ then $b$.
$\concatbits(S)$ means the sequence of bits obtained by
concatenating the elements of $S$ viewed as bit sequences. If the
elements of $S$ are byte sequences, they are converted to bit sequences
with the \emph{most significant} bit of each byte first.
concatenating the elements of $S$ as bit sequences.
$\sorted(S)$ means the sequence formed by sorting the elements
of $S$.
@ -14027,6 +14025,7 @@ Peter Newell's illustration of the Jubjub bird, from \cite{Carroll1902}.
as a QR code.
} %sapling
\item Move the definition of $\bot$ to before its first use.
\item Delete a confusing part of the definition of $\concatbits$ that we don't rely on.
\item Add a definition for the \S{} symbol in \crossref{introduction}, before its first use.
\item Remove specification of \memo contents, which will be in \cite{ZIP-302}.
\item Remove support for building the \Sprout-only specification (\texttt{sprout.pdf}).