Repository navigation

Ledger: record where rows say more than the Agda states - #41

Merged

hyperpolymath merged 3 commits into

mainfrom

claude/kcut-ladder-i0-b5zcm8

Nov 10, 2026

Merged

Ledger: record where rows say more than the Agda states#41
hyperpolymath merged 3 commits into
mainfrom
claude/kcut-ladder-i0-b5zcm8

Commits on Nov 9, 2026
- Ledger: record where rows say more than the Agda states
  claude
  committed
  e6d1ea2
- ledger: T-6 no longer says the pin lacks Kripke/Indexed
  claude
  committed
  244aeae
Commits on Nov 10, 2026
- Merge origin/main into claude/kcut-ladder-i0-b5zcm8
  claude
  committed
  1a0603a