Code

Extraction nits#3380

Code

Merged

mtzguido merged 4 commits intoFStarLang:masterFStarLang/FStar:masterfrom mtzguido:extraction_nitsmtzguido/FStar:extraction_nitsCopy head branch name to clipboardAug 15, 2024

+776-543

Commits

Commits on Aug 15, 2024

• Extraction: tweak an exception

  mtzguido

  committed
  8850298

  Copy full SHA for 8850298

• Extraction: some showable instances

  mtzguido

  committed
  8990015

  Copy full SHA for 8990015

• Extraction: add an interface for ML.Syntax

  mtzguido

  committed
  40e67d2

  Copy full SHA for 40e67d2

• snap

  mtzguido

  committed
  db33fa8

  Copy full SHA for db33fa8