SMLの規格書が公開されていた
気付いてなかったのですが、いつの間にか StandardML'97 の規格書がgithubで公開されています*1
> SMLFamily/sml97
手元のCentOSでビルドところ、ちゃんとroot.pdfが生成されました。
(app (yum install) ["texinfo", "texinfo-tex"]; latexmk(unzip _; install latexmk.pl ~/bin/latexml; latexmk -pdf root))
以前はMIT Pressから販売されているものを買うしかありませんでしたが、これで手軽に規格を読むことができますね(?)
*1:というか誰が気付くんだこれ…