7 May
2020
7 May
'20
10:47 p.m.
On Mon, May 4, 2020, 8:48 AM <gdiaz(a)qswarm.com> wrote:
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...