mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-09-11 22:17:18 +03:00
parent
8ba6570324
commit
c4299a148b
@ -1598,7 +1598,7 @@ starting the count at 0 as usual.) We can observe this much more
|
||||
simply, by using a smaller bit size for the constant {\tt 1}:
|
||||
\begin{Verbatim}
|
||||
Cryptol> [(1:[2])...]
|
||||
[1, 2, 3, 0, 1 ...
|
||||
[1, 2, 3, 0, 1 ...]
|
||||
Cryptol> take`{20} [(1:[2])...]
|
||||
[1, 2, 3, 0, 1, 2, 3, 0, 1, 2, 3, 0, 1, 2, 3, 0, 1, 2, 3, 0]
|
||||
\end{Verbatim}
|
||||
|
Loading…
Reference in New Issue
Block a user