Related topics
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| Unicode: a bad idea, in general | 83 | 4965 | June 17, 2023 | |
| Warning against Unicode confusables | 51 | 2457 | January 13, 2024 | |
| Keeping the syntax and the need to memorise syntax simple | 100 | 8120 | September 7, 2022 | |
| Tab completion of \uXXXX in the REPL? | 23 | 4681 | January 12, 2024 | |
| Naming: Remove all underscores to matter what? | 123 | 7920 | January 28, 2018 |