fix(abi): type-check all 17 Idris2 proofs under 0.8.0#189

hyperpolymath merged 1 commit into

mainhyperpolymath/boj-server:mainfrom

claude/zen-galileo-52EWFhyperpolymath/boj-server:claude/zen-galileo-52EWFCopy head branch name to clipboard