ochacaml
基本的にはOchaCamlの公式ページに従えばいいんですが、環境をWSL(Ubuntu)に固定し、日本語でまとめておきます。 準備 makeとgccが入っていない場合はインストールしておきます。 sudo apt install make gcc インストール方法 ホームディレクトリで作業しま…
基本的にはOchaCamlの公式ページに従えばいいんですが、環境をWSL(Ubuntu)に固定し、日本語でまとめておきます。 準備 makeとgccが入っていない場合はインストールしておきます。 sudo apt install make gcc インストール方法 ホームディレクトリで作業しま…