[MLton] Re: MLton library project

[Matthew Fluet]

>> ... I understand there's a coding convention for the mlton compiler.
>> However, these are my personal libraries, and I have my own convention.
>> Must I really remove tabs?
> 
> I don't feel super-strongly about this.  It has been a useful
> convention, and it doesn't seem difficult to follow.  But if causes
> people to be reluctant to commit ...  What do others think?

I like keeping the convention for the compiler sources, but I don't 
really care one way or the other for personal libs.