[ deprecate ] Relation/Binary.PropositionalEquality.inspect and README.Inspect (#1580 / #1630 / #1930 redux)#2981

JacquesCarette merged 5 commits intoagda:experimentalagda/agda-stdlib:experimentalfrom

jamesmckinna:deprecate-Inspect+READMEjamesmckinna/agda-stdlib:deprecate-Inspect+READMECopy head branch name to clipboard