fix(abi): type-check the Idris2 proofs in CI and re-prove line-comment stripping - #281

fix(abi): type-check the Idris2 proofs in CI and re-prove line-comment stripping#281

hyperpolymath merged 2 commits into

mainhyperpolymath/panic-attack:mainfrom

claude/gallant-bell-4bo4oy-n-idris-abi-cihyperpolymath/panic-attack:claude/gallant-bell-4bo4oy-n-idris-abi-ciCopy head branch name to clipboard