Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
New JerseyのStandardML(SML / NJ)をダウンロードしましたが、同時Ml(CML)のライブラリを使用する必要があります。ライブラリをインポート(使用)するにはどうすればよいですか?ありがとう
sources.cmおそらく、次のようなCM ファイル (例: ) を使用する必要があります。
sources.cm
Group is $cml/cml-lib.cm $/basis.cm your-file.sml ...
次にsml sources.cm、CML を正しくロードし、プログラムで使用できるようにする必要があります。
sml sources.cm