Why do people want the syntax in which they write programs to be "the same" as the syntax they read them? The two obviously serve different purposes with opposite goals: terseness vs obviousness, etc. Tool: an editor that normalizes shorthand into error-correcting notation.
Sometimes, the tool shortens names into symbols, e.g. lambda into λ, forall into ∀, etc.
-
-
what about emacs' prettify-symbols-mode? one shortcoming is that it messes up with vertical alignment.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
Read my blog!