ABI Layer 2: prove the map-fusion law on length-indexed vectors — flagship Idris2 proof#40

hyperpolymath merged 1 commit into

mainhyperpolymath/futharkiser:mainfrom

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