2 Feb
2012
2 Feb
'12
6:49 p.m.
David> Thanks, I've committed it. It seems like something that could be David> generally useful. Just one small point: I prefer to use spaces David> rather than tabs in ML and C/C++ source. Tabs cause problems David> with different editors and I think now I've eliminated all of David> them from the Poly/ML sources.
+1
Actually, the "problems" (an understatement) are even worse with whitespace sensitive languages like Python and Haskell.
--
Ian Zimmerman
gpg public key: 1024D/C6FF61AD
fingerprint: 66DC D68F 5C1B 4D71 2EE5 BD03 8A00 786C C6FF 61AD
Rule 420: All persons more than eight miles high to leave the court.