[ ソース: djinn ]
パッケージ: djinn (2014.9.7-9 など)
djinn に関するリンク
Debian の資源:
djinn ソースパッケージをダウンロード:
メンテナ:
外部の資源:
- ホームページ [hackage.haskell.org]
類似のパッケージ:
generate Haskell expressions from types
Djinn uses a theorem prover for intuitionistic propositional logic to generate a Haskell expression when given a type.
Given a type the program will deduce an expression of this type, if one exists. If the Djinn says the type is not realizable it is because there is no (total) expression of the given type.
その他の djinn 関連パッケージ
|
|
|
|
-
- dep: libc6 (>= 2.29)
- GNU C ライブラリ: 共有ライブラリ
以下のパッケージによって提供される仮想パッケージでもあります: libc6-udeb
-
- dep: libffi8 (>= 3.4)
- Foreign Function Interface ランタイムライブラリ
-
- dep: libgmp10 (>= 2:6.2.1+dfsg)
- 多倍長精度演算ライブラリ
-
- dep: libtinfo6 (>= 6)
- 端末を扱う低レベルの terminfo 共有ライブラリ