Code

A strongly-kinded nonce generator#160

Code

Open

langston-barrett wants to merge 5 commits intoGaloisInc:masterGaloisInc/parameterized-utils:masterfrom langston-barrett:lb/strong-noncelangston-barrett/parameterized-utils:lb/strong-nonceCopy head branch name to clipboard

+149

Commits

Commits on Jun 6, 2024

• Strongly-kinded nonce generator

  langston-barrett

  committed
  d3b419c

  Copy full SHA for d3b419c

Commits on Jun 7, 2024

• Share type variables between strong nonces and ST

  langston-barrett

  committed
  a2ae7db

  Copy full SHA for a2ae7db

• Remove ST restriction from Haddock

  langston-barrett

  committed
  11158f9

  Copy full SHA for 11158f9

• Export NonceBrand type synonym

  langston-barrett

  committed
  871bf18

  Copy full SHA for 871bf18

• Use UnwrapNonceBrand instead of NonceBrand for ST types

  langston-barrett

  committed
  9c1225d

  Copy full SHA for 9c1225d