A version of the 1997 SML definition with corrections and some proposed Successor ML features added. - View it on GitHub