ABI Layer 2: prove affine usage (use-at-most-once) — flagship Idris2 proof#37

hyperpolymath merged 1 commit into

mainhyperpolymath/affinescriptiser:mainfrom

claude/new-session-znxgm7hyperpolymath/affinescriptiser:claude/new-session-znxgm7Copy head branch name to clipboard