4 ms·
And again, this helps other people who have to edit your code how?
by stan_rogers 5y ago
And again, this helps other people who have to edit your code how?
- leephillips 5y agoWell, if my Julia code ever gets to the point where other people want to edit it, the community has embraced Unicode, so there won’t be a problem there. More generally, I’ll turn my comment into a question: how are people using computers without already having them set up to easily type these characters?
- umvi 5y ago> how are people using computers without already having them set up to easily type these characters? Current solution for most people is google + clipboard For example, to type the word "cliché" here, I googled it, then copied it, then pasted it.
- leephillips 5y agoThat’s not what I would describe as “easily type”.