[ new ] un-deprecate _≈?_#3048

gallais wants to merge 1 commit into

agda:masteragda/agda-stdlib:masterfrom

gallais:char-eq-refactorgallais/agda-stdlib:char-eq-refactorCopy head branch name to clipboard