[ deprecate ] README.Inspect#2928

jamesmckinna wants to merge 3 commits intoagda:masteragda/agda-stdlib:masterfrom

jamesmckinna:deprecate-README-Inspectjamesmckinna/agda-stdlib:deprecate-README-InspectCopy head branch name to clipboard