Skip to content

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

Open
hyperpolymath wants to merge 2 commits into
mainfrom
claude/kcut-ladder-i0-b5zcm8
Open

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

Commits

  1. Commits on Nov 9, 2026