Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Missing "]" in code on page 19 (section 1.13) of textbook #880

Closed
manleykm opened this issue Sep 8, 2020 · 0 comments · Fixed by #900
Closed

Missing "]" in code on page 19 (section 1.13) of textbook #880

manleykm opened this issue Sep 8, 2020 · 0 comments · Fixed by #900
Assignees
@brianhuffman
Labels
docs LaTeX, markdown, literate haskell, or in-REPL documentation low-hanging fruit For issues that should be easy to fix
Milestone
2.10.0

Comments

@manleykm
Copy link

manleykm commented Sep 8, 2020

On the 19th page of the Programming in Cryptol textbook document, there seems to be a missing "]" on the second line of this code:
image

This is a very minor thing, but I just thought I would mention it for the next time edits are being made!
@brianhuffman brianhuffman added the docs LaTeX, markdown, literate haskell, or in-REPL documentation label Sep 10, 2020
@atomb atomb added the low-hanging fruit For issues that should be easy to fix label Sep 22, 2020
@atomb atomb added this to the 2.10.0 milestone Sep 22, 2020
@brianhuffman brianhuffman self-assigned this Sep 22, 2020
brianhuffman pushed a commit that referenced this issue Sep 23, 2020
Add missing ']' in book example.
eb244a1 
Fixes #880.
@brianhuffman brianhuffman mentioned this issue Sep 23, 2020
Merged
@brianhuffman brianhuffman linked a pull request Sep 23, 2020 that will close this issue
Book edits #900
Merged
brianhuffman pushed a commit that referenced this issue Sep 23, 2020
Add missing ']' in book example.
c4299a1 
Fixes #880.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@brianhuffman brianhuffman

Labels
docs LaTeX, markdown, literate haskell, or in-REPL documentation low-hanging fruit For issues that should be easy to fix
Projects
None yet
Milestone
2.10.0
Development

Successfully merging a pull request may close this issue.

Book edits GaloisInc/cryptol
3 participants
@atomb @brianhuffman @manleykm