6 ms·
⇒, the Unicode symbol, is supported in PureScript and Agda out of the box and is supported in Haskell with UnicodeSyntax extension. Personally, I find the ligat
by toastal 7y ago
⇒, the Unicode symbol, is supported in PureScript and Agda out of the box and is supported in Haskell with UnicodeSyntax extension. Personally, I find the ligatures more confusing than support for the actual Unicode symbols (albeit they can be more cumbersome to type if your editor doesn’t help, i.e. ctrl+k "=>" in Vim). Every time someone uses Fira Code in a presentation someone in the audience always has to ask and now you have to go down a rabbit hole of explaining what ligatures even are.
- matheusmoreira 7y ago> albeit they can be more cumbersome to type if your editor doesn’t help, i.e. ctrl+k "=>" in Vim I wonder why physical keyboards lack unicode support. Virtual keyboards often have great support for this. Older keyboards could also input a lot of symbols: https://upload.wikimedia.org/wikipedia/commons/4/47/Space-cadet.jpg https://upload.wikimedia.org/wikipedia/commons/4/47/Space-ca...
- toastal 6y agoCould be an issue with agreeing on a standard. But also, the average user would rather have emojis on a keyboard before various math symbols (and, outside work, I'd feel the same).