hello

Was sml/nj part of UNIX at some point? was it considered as a language to use
(proof tools may be)?

I was wondering if there is any history in common between the two. I've been
unable to find anything :-?, please share your stories! :-D

Is it true that the language was too slow to be generally useful? There seems
to be commentaries along these lines on the internet.

thanks!
gabi

If you Google Unix ML, there are two fairly  sizable papers on the topic near the top of the results...