docs: repoint the 8 surviving src/abi/*.idr references and drop the LOC drift surface - #835

docs: repoint the 8 surviving src/abi/*.idr references and drop the LOC drift surface#835

hyperpolymath merged 1 commit into

mainhyperpolymath/hypatia:mainfrom

fix/abi-reference-correctnesshyperpolymath/hypatia:fix/abi-reference-correctnessCopy head branch name to clipboard