diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2021-11-09 08:12:11 -0800 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2021-11-09 08:12:11 -0800 |
| commit | d253a3182859c7c989449122a60d5f362f19ded0 (patch) | |
| tree | 7459cddc57f93107fa4cee89d4f0a94dd0f0f131 /shell/README.md | |
| parent | d1808995b2c6b99749237a29e6ac6477d00ff8f9 (diff) | |
| download | mu-d253a3182859c7c989449122a60d5f362f19ded0.tar.gz | |
rename grapheme to code-point-utf8
Longer name, but it doesn't lie. We have no data structure right now for combining multiple code points. And it makes no sense for the notion of a grapheme to conflate its Unicode encoding.
Diffstat (limited to 'shell/README.md')
| -rw-r--r-- | shell/README.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/shell/README.md b/shell/README.md index 3a9cdf3c..180782eb 100644 --- a/shell/README.md +++ b/shell/README.md @@ -150,7 +150,7 @@ def (a <> b) ``` To permit arbitrary infix operators, the Mu shell partitions the space of -graphemes between operators and regular symbols. As a result, you can't define +code-point-utf8s between operators and regular symbols. As a result, you can't define symbols mixing the two. ``` '*global* |