[TUHS] sml/nj and unix/plan9

[A. P. Garcia]

On Mon, May 4, 2020, 8:48 AM <gdiaz at 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...
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://minnie.tuhs.org/pipermail/tuhs/attachments/20200507/f87b358e/attachment.htm>