Code

feat: add KMP frontend for lists#1065

Code

Merged

kim-em merged 3 commits intoleanprover-community:mainleanprover-community/batteries:mainfrom

fgdorais:kmp-listfgdorais/batteries:kmp-listCopy head branch name to clipboard

Nov 26, 2024

Commits

Commits on Nov 25, 2024

• feat: add KMP frontend for lists

  fgdorais

  committed
  018a631

  Copy full SHA for 018a631

• feat: add single-use defs

  fgdorais

  committed
  064d2fc

  Copy full SHA for 064d2fc

• fix: use infix instead of contiguous sublist

  fgdorais

  committed
  d0faa9b

  Copy full SHA for d0faa9b