Code

feat: folds for dependent arrays#815

Code

Draft

fgdorais wants to merge 11 commits intoleanprover-community:mainleanprover-community/batteries:mainfrom fgdorais:darray-foldfgdorais/batteries:darray-foldCopy head branch name to clipboard

+543-40

Commits

Commits on May 29, 2024

• feat: dependent array type

  fgdorais

  committed
  cee3ed5

  Copy full SHA for cee3ed5

• feat: Fin.foldlM and Fin.foldrM

  fgdorais

  committed
  73765f1

  Copy full SHA for 73765f1

• feat: folds for dependent arrays

  fgdorais

  committed
  01e7353

  Copy full SHA for 01e7353

Commits on May 30, 2024

• feat: ForIn instance for DArray

  fgdorais

  committed
  bf6f528

  Copy full SHA for bf6f528

• feat: add map and amap

  fgdorais

  committed
  6d9236a

  Copy full SHA for 6d9236a

• fix: missing docstring

  fgdorais

  committed
  c80ca8b

  Copy full SHA for c80ca8b

• feat: more lemmas

  fgdorais

  committed
  d87b4cd

  Copy full SHA for d87b4cd

Commits on Jun 6, 2024

• chore: merge main

  fgdorais

  committed
  11998b0

  Copy full SHA for 11998b0

• feat: lemmas List.foldlM_map and List.foldrM_map

  fgdorais

  committed
  087e359

  Copy full SHA for 087e359

• feat: Fin.foldlM and Fin.foldrM

  fgdorais

  committed
  8fd38ad

  Copy full SHA for 8fd38ad

• chore: merge deps

  fgdorais

  committed
  2be3b40

  Copy full SHA for 2be3b40