Labels

• area/error-messages

  area/error-messages

• area/fsharp-vs-ocaml

  area/fsharp-vs-ocaml

• area/performance

  area/performance

• area/proof-assistant

  area/proof-assistant

• area/syntax

  area/syntax

• area/usability

  area/usability

• component/build

  component/build

• component/calc

  component/calc

  Calc statements

• component/checked-files

  component/checked-files

  An issue related to the caching of checked files, or influenced by the caching

• component/ci

  component/ci

• component/cli

  component/cli

• component/dependency-analysis

  component/dependency-analysis

• component/desugaring

  component/desugaring

• component/dm4free

  component/dm4free

• component/documentation

  component/documentation

• component/effect-system

  component/effect-system

• component/examples

  component/examples

• component/extraction

  component/extraction

• component/inference

  component/inference

• component/interactive-mode

  component/interactive-mode

• component/internal-apis

  component/internal-apis

  about internal F* components, without user-level impact

• component/language-design

  component/language-design

• component/libraries

  component/libraries

• component/metatheory

  component/metatheory

• component/modules

  component/modules

• component/normalizer

  component/normalizer

• component/packaging

  component/packaging

• component/parser

  component/parser

• component/printer

  component/printer

• component/smtencoding

  component/smtencoding