GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-10-26 22:29:08 +03:00
Code Issues Projects Releases Wiki Activity

Update expected output for check-docs.

Browse Source
This commit is contained in:
Brian Huffman 2021-09-02 20:30:55 -07:00
parent f25536aab3
commit b9f97e7790
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
docs/ProgrammingCryptol/crashCourse/CrashCourse.tex
View File

@ -722,8 +722,8 @@ generator). The pattern looks like this:
\end{replinVerb}
produces:
\begin{reploutVerb}
[[(1, 1), (1, 2), (1, 3)], [(2, 1), (2, 2), (2, 3)], [(3, 1), (3,
2), (3, 3)]]
[[(1, 1), (1, 2), (1, 3)], [(2, 1), (2, 2), (2, 3)],
[(3, 1), (3, 2), (3, 3)]]
\end{reploutVerb}
The outer comprehension is a comprehension (and hence is nested). In
particular the expression is: