Digraphs *and* Unicode pretty-glyphs, for arrows, triangle, etc.

Brendan Eich brendan at mozilla.org
Wed Apr 4 22:23:54 PDT 2012


 From http://www.scala-lang.org/node/4723 (hat tip *Corey 
Farwell*‏@*frewsxcv* <https://twitter.com/#%21/frewsxcv>

  *


):

|=>   ⇒   // implemented
<-  ←   // implemented
->   →   // implemented
==  ⩵
>><<   ≪
>>>>=  ≥
<=  ≤
::  ∷|


Corey suggested editors could do the input conversion when users type 
the digraph. If Scala can go here, why not JS?

/be


More information about the es-discuss mailing list