fix(a2ml): make the normative Idris2 core type-check + add the missing .ipkg - #555

fix(a2ml): make the normative Idris2 core type-check + add the missing .ipkg#555

hyperpolymath merged 1 commit into

mainhyperpolymath/standards:mainfrom

fix/a2ml-idris-core-typecheckshyperpolymath/standards:fix/a2ml-idris-core-typechecksCopy head branch name to clipboard