mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-09-11 22:17:18 +03:00
Remove errant comma in exercise solution in the book.
This commit is contained in:
parent
33d6ae77b7
commit
754c6ac59b
@ -1564,7 +1564,7 @@ whenever $y \neq 0$.
|
||||
\begin{Answer}\ansref{ex:arith:5}
|
||||
The bit-width in this case is 3 (to accommodate for the number 5),
|
||||
and hence arithmetic is done modulo $2^3 = 8$. Thus, {\tt -2}
|
||||
evaluates to {\tt 6}, leading to the result {\tt min 5, (-2) == 5}.
|
||||
evaluates to {\tt 6}, leading to the result {\tt min 5 (-2) == 5}.
|
||||
The parentheses are necessary because unary negation is handled in
|
||||
Cryptol's parser, not in its lexer, because whitespace is ignored.
|
||||
If this were not the case, reflect upon how you would differentiate
|
||||
|
Loading…
Reference in New Issue
Block a user