Skip to content

Compute least actual-body borrowing on fixed Count tapes - #3502

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
kumagi:research/encoded-body-depth-borrowing
Oct 18, 2026
Merged

Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
kumagi:research/encoded-body-depth-borrowing

Commits

  1. Commits on Oct 18, 2026