2014-06-04から1日間の記事一覧
気付いてなかったのですが、いつの間にか StandardML'97 の規格書がgithubで公開されています*1 > SMLFamily/sml97 手元のCentOSでビルドところ、ちゃんとroot.pdfが生成されました。 (app (yum install) ["texinfo", "texinfo-tex"]; latexmk(unzip _; ins…
気付いてなかったのですが、いつの間にか StandardML'97 の規格書がgithubで公開されています*1 > SMLFamily/sml97 手元のCentOSでビルドところ、ちゃんとroot.pdfが生成されました。 (app (yum install) ["texinfo", "texinfo-tex"]; latexmk(unzip _; ins…