Code

Update type of take in book#1748

Code

Merged

marsella merged 2 commits intomasterGaloisInc/cryptol:masterfrom 1747-take-typeGaloisInc/cryptol:1747-take-typeCopy head branch name to clipboardSep 19, 2024

+3-3

Commits

Commits on Sep 10, 2024

• Update type of take in book

  marsella

  committed
  b7363dd

Commits on Sep 19, 2024

• update cryptol book pdf with recent changes

  marsella

  committed
  84f1049