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