The .fun extension is commonly used for Standard ML.
Merge branch 'pr/520' into standard_ml
Adding .fun extension to Standard ML definition and adding some sample files
Merge pull request #860 from github/extending_standard_ml

Extending standard ml