Closed alex-chew closed 2 years ago
This PR adds basic definitions/functions/lemmas for Unicode values and strings as defined in the Unicode Standard 14.0.0: https://www.unicode.org/versions/Unicode14.0.0/.
(Most/all of this PR is implementation of Chapter 3: https://www.unicode.org/versions/Unicode14.0.0/ch03.pdf)
By submitting this pull request, I confirm that my contribution is made under the terms of the MIT license.
This PR adds basic definitions/functions/lemmas for Unicode values and strings as defined in the Unicode Standard 14.0.0: https://www.unicode.org/versions/Unicode14.0.0/.
(Most/all of this PR is implementation of Chapter 3: https://www.unicode.org/versions/Unicode14.0.0/ch03.pdf)
By submitting this pull request, I confirm that my contribution is made under the terms of the MIT license.