proof(idris2/abi): delete unsound alignmentMatchesPlatformWord, isola…#40

hyperpolymath merged 1 commit into

mainhyperpolymath/absolute-zero:mainfrom

claude/upbeat-mendel-lBO9Ghyperpolymath/absolute-zero:claude/upbeat-mendel-lBO9GCopy head branch name to clipboard