lean4 icon indicating copy to clipboard operation
lean4 copied to clipboard

Published 20 hours ago • verified publisher icon leanprover

`Char.toLower` should be renamed to `toLowerAscii` etc.

Open Kha opened this issue 3 years ago • 3 comments

Kha avatar Oct 07 '22 15:10 Kha

Same for Char.toUpper?

leodemoura avatar Oct 07 '22 20:10 leodemoura

Char.isUpper, Char.isLower, String.toUpper, String.toLower

leodemoura avatar Oct 08 '22 01:10 leodemoura

and arguably isAlpha*. And isWhitespace?

Kha avatar Oct 08 '22 08:10 Kha