A tutorial from CMU showing some of the capabilities of the system: <a href="http://www.cs.cmu.edu/~fp/courses/97-212/mlworks-intro.html" rel="nofollow">http://www.cs.cmu.edu/~fp/courses/97-212/mlworks-intro.html</a>
This is great, I've always liked SML. It has a lot of what I like about Haskell without breaking my brain, and it seems like it could be a good option for a pragmatic systems development language when used with MLton. I even toyed with the idea of developing an IDE plugin for it but was put off by the difficulty of parsing it.
Good luck guys! MLWorks had quite a reputation at the beginning of the century, and both ML & OCaml have then been already acclaimed as industrial strength functional languages.