Skip to content

Commit

Permalink
Fix some more typos (#6775)
Browse files Browse the repository at this point in the history
  • Loading branch information
kwxm authored Jan 7, 2025
1 parent f3fe815 commit 038714a
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 @@ -329,7 +329,7 @@ \subsubsection{Built-in functions}
\nomenclature[Azz]{$\quotfn$, $\remfn$}{Integer division operations}

\noindent The $\divfn$ and $\modfn$ functions form a pair, as do $\quotfn$ and $\remfn$;
$\divfn$ should not be used in combination with $\modfn$, not should $\quotfn$ be used
$\divfn$ should not be used in combination with $\remfn$, nor should $\quotfn$ be used
with $\modfn$.

For positive divisors $b$, $\divfn$ truncates downwards and $\modfn$ always
Expand All @@ -346,7 +346,7 @@ \subsubsection{Built-in functions}
\hline
$+$ & $+$ & $+$ & $+$ & $+$ & $+$ \\
$-$ & $+$ & $-$ & $+$ & $-$ & $-$ \\
$+$ & $-$ & $-$ & $+$ & $+$ & $+$ \\
$+$ & $-$ & $-$ & $-$ & $-$ & $+$ \\
$-$ & $-$ & $+$ & $-$ & $+$ & $-$ \\
\hline
\end{tabular}
Expand Down

0 comments on commit 038714a

Please sign in to comment.