3 Jun
2011
3 Jun
'11
9:19 a.m.
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.