WSLのSATySFiをアップデートした
自分は普段ごくまれに\(\mathrm{S\kern{-0.1em}A\kern{-0.15em}T}\) \( \\[-1em]\kern{9.7em}\mathrm{Y}\) \( \\[-1.65em] \kern{10.3em} \mathrm{SF}\) \( \\[-1.05em] \kern{11.3em} \mathrm{I}\) \(\\[-1.6em] \kern{11.5em}\) をレポートの作成などに使っているが、クラスファイル探しの旅に出たときに、SATySFi1のバージョンが古いがために使えない物が続出した(jlreqなど) . その時は急いでたのでローカルに入れるなど強硬手段で回避したが、数か月たって、OCamlのバージョンが古いことが原因だとわかった。 ので、OPAMでOCamlの新しいバージョン(v0.0.7)をインストールするのと、dockerを使ってSATySFiをインストールするのを試してみた。 ここにはリンクをはる程度。 ...