Skip to content

Commit

Permalink
Fix a couple of small typos (#6774)
Browse files Browse the repository at this point in the history
  • Loading branch information
kwxm authored Jan 7, 2025
1 parent 5460840 commit b1e7350
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions doc/plutus-core-spec/cardano/builtins1.tex
Original file line number Diff line number Diff line change
Expand Up @@ -364,9 +364,9 @@ \subsubsection{Built-in functions}

\note{The \texttt{consByteString} function.}
\label{note:consbytestring}
In built-in semantics varinat 1, the first argument of \texttt{consByteString}
In built-in semantics variant 1, the first argument of \texttt{consByteString}
is an arbitrary integer which will be reduced modulo 256 before being prepended
to the second argument. In built-in semantics varaint 2 we require that the first
to the second argument. In built-in semantics variant 2 we require that the first
argument lies between 0 and 255 (inclusive): in any other case an error will
occur.

Expand Down

0 comments on commit b1e7350

Please sign in to comment.