Code

doc: docstrings for Alternative#3860

Code

Merged

nomeata merged 9 commits intomasterleanprover/lean4:masterfrom joachim/docs-alternativeleanprover/lean4:joachim/docs-alternativeCopy head branch name to clipboardApr 15, 2024

+27

Commits

Commits on Apr 10, 2024

• doc: docstrings for Alternative

  nomeata

  committed
  b075861

  Copy full SHA for b075861

• Update src/Init/Control/Basic.lean

  Show description for eb22fa7
  

  nomeata

  and

  digama0

  authored
  eb22fa7

  Copy full SHA for eb22fa7

Commits on Apr 11, 2024

• Update src/Init/Control/Basic.lean

  Show description for e47f477
  

  nomeata

  and

  david-christiansen

  authored
  e47f477

  Copy full SHA for e47f477

• Update src/Init/Control/Basic.lean

  Show description for d88ab03
  

  nomeata

  and

  david-christiansen

  authored
  d88ab03

  Copy full SHA for d88ab03

• Update src/Init/Control/Basic.lean

  Show description for a84e2e4
  

  nomeata

  and

  david-christiansen

  authored
  a84e2e4

  Copy full SHA for a84e2e4

• Update src/Init/Control/Basic.lean

  Show description for 7da18a6
  

  nomeata

  and

  david-christiansen

  authored
  7da18a6

  Copy full SHA for 7da18a6

• Update src/Init/Control/Basic.lean

  nomeata

  authored
  01fd9b7

  Copy full SHA for 01fd9b7

Commits on Apr 13, 2024

• Update src/Init/Control/Basic.lean

  nomeata

  authored
  82f7024

  Copy full SHA for 82f7024

• Update src/Init/Control/Basic.lean

  nomeata

  authored
  8937dd5

  Copy full SHA for 8937dd5