docs: correct 8 prose sites claiming src/abi/ holds the Idris2 modules - #839

docs: correct 8 prose sites claiming src/abi/ holds the Idris2 modules#839

hyperpolymath merged 1 commit into

mainhyperpolymath/hypatia:mainfrom

fix/abi-directory-claimshyperpolymath/hypatia:fix/abi-directory-claimsCopy head branch name to clipboard