Right, but one that died before what I'm guessing is the average birth date of hacker news readers. It's probably at least as hard to find a pre-SML ML compiler that will run on a microcomputer as it is to find a SML compiler that can understand the code examples from any SML book written before 1997.
You'd be hard-pressed. Pre-SML, it mostly only saw the light of day as a the metalanguage of a theorem prover named LCF. Which I think ran on a PDP-11 or a VAX or something like that.
