Skip to content

[0032] 优化 char-alphabetic?, char-whitespace?, char-upcase, char-foldcase, char-downcase 的性能#764

Merged
da-liii merged 4 commits intomainfrom
da/0032/better_perf
May 5, 2026
Merged

[0032] 优化 char-alphabetic?, char-whitespace?, char-upcase, char-foldcase, char-downcase 的性能#764
da-liii merged 4 commits intomainfrom
da/0032/better_perf

Commits

Commits on May 5, 2026