3 ms·
That's a Julia thing, not a Pluto thing. Not a fan personally but I think that's a minority opinion in the Julia community.
by st1x7 6y ago
That's a Julia thing, not a Pluto thing. Not a fan personally but I think that's a minority opinion in the Julia community.
- dnautics 6y agoI'm fine with Julia's use of unicode for math symbols in general. The strange ascii characters I'm speaking of here are used to annotate block boundaries in pluto's generated code, they are literally in # comments so they could have used anything. I think they are the old school ascii box drawing characters. They might live in a separate unicode era these days.