[TUHS] sml/nj and unix/plan9

[gdiaz at qswarm.com]

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



-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 839 bytes
Desc: OpenPGP digital signature
URL: <http://minnie.tuhs.org/pipermail/tuhs/attachments/20200504/ca58d635/attachment.sig>