パッケージ: libpolyml-dev (5.7.1-5) [debports]
libpolyml-dev に関するリンク
Debian の資源:
ソースパッケージをダウンロード:
見つかりませんメンテナ:
外部の資源:
- ホームページ [www.polyml.org]
類似のパッケージ:
Standard ML 用のコンパイラ、Poly/ML 開発用ファイル
Poly/ML はプログラミング言語 Standard ML の一実装です。Standard ML は汎用で モジュラー、型安全性があり正格な関数プログラミング言語です。Poly/ML は SML 97 準拠のインタプリタおよびコンパイラで、単独実行可能な形式の生成と 対話的トップレベル (REPL) をサポートしています。
このパッケージは Poly/ML で単独実行可能な形式のコンパイルに必要な ファイル群を提供します。
その他の libpolyml-dev 関連パッケージ
|
|
|
|
-
- dep: libpolyml9 (= 5.7.1-5)
- Standard ML 用のコンパイラ、Poly/ML 用ランタイムファイル