Code

Issue931#932

Code

Merged

brianhuffman merged 7 commits intomasterGaloisInc/cryptol:masterfrom issue931GaloisInc/cryptol:issue931Copy head branch name to clipboardOct 14, 2020

+24-25

Commits

Commits on Oct 13, 2020

• Improve help texts for lg2 type and value operators.

  Show description for f54f2ff
  

  Brian Huffman

  committed
  f54f2ff

  Copy full SHA for f54f2ff

• Remove redundant word "Size" in table of built-in type-level operators.

  Show description for e08cac3
  

  Brian Huffman

  committed
  e08cac3

  Copy full SHA for e08cac3

• More accurate descriptions for lg2 and width in book appendix.

  Show description for a23267f
  

  Brian Huffman

  committed
  a23267f

  Copy full SHA for a23267f

• Fix description of lg2 in exercise answer in the book.

  Show description for 33d6ae7
  

  Brian Huffman

  committed
  33d6ae7

  Copy full SHA for 33d6ae7

• Remove errant comma in exercise solution in the book.

  

  Brian Huffman

  committed
  754c6ac

  Copy full SHA for 754c6ac

• Fix miscellaneous typos in Syntax.md.

  

  Brian Huffman

  committed
  36b8bd2

  Copy full SHA for 36b8bd2

Commits on Oct 14, 2020

• Update generated pdf.

  

  Brian Huffman

  committed
  97b967c

  Copy full SHA for 97b967c