On 20 Dec 2011, at 22:51, Chris Wong wrote: >> One thing that concerns me is the use of capital letters to distinguish type >> and class names and constructors from values. If I was doing it over I >> would use a typographical distinction like italics for types, bold for >> classes. That way we could have a constructor named ∅, a function named ∈, >> a class named ℝ. > > It's Algol all over again! Will we have to typeset our keywords in bold too?
There are in fact Unicode symbols for that, see http://unicode.org/charts/PDF/U1D400.pdf The monospace characters U+1D670-1D6A3 might be used for keywords. Font: http://www.stixfonts.org/ Not hard to add. Hans _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
