ABI: scaffold a real, verified Idris2 ABI (10 type-safety levels)#30

hyperpolymath merged 3 commits into

mainhyperpolymath/typedqliser:mainfrom

claude/iseriser-proofs-review-rtdcwbhyperpolymath/typedqliser:claude/iseriser-proofs-review-rtdcwbCopy head branch name to clipboard