[TUHS] sml/nj and unix/plan9

A. P. Garcia a.phillip.garcia at gmail.com
Fri May 8 06:47:30 AEST 2020

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>

More information about the TUHS mailing list