fix(a2ml): normative Idris2 core now type-checks (10/10 modules) - #567

fix(a2ml): normative Idris2 core now type-checks (10/10 modules)#567

hyperpolymath merged 1 commit into

mainhyperpolymath/standards:mainfrom

fix/a2ml-core-typechecks-and-gatehyperpolymath/standards:fix/a2ml-core-typechecks-and-gateCopy head branch name to clipboard