4 ms·
Well, 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 ge
by leephillips 5y ago
Well, 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”.