3 Jun
2011
3 Jun
'11
3:50 p.m.
On Fri, Jun 3, 2011 at 05:19, Guy
On 03/06/2011 12:01, Malcolm Wallace wrote:
I believe the motivating example that persuaded the Language Committee to allow these symbols was --> which is not of course used anywhere in the standard libraries, but is an extremely nice symbol to have available in user code.
Seeing as no library actually defines such a symbol, is it worth forcing an extra space into comments? --| and --^ would be an extremely nice symbols for haddock comments.
http://xmonad.org/xmonad-docs/xmonad/XMonad-ManageHook.html#v%3A--%3E