[ ソース: 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: libatomic1 (>= 4.8) [riscv64]
- __atomic ビルトイン関数を提供するサポートライブラリ
-
- dep: libc6 (>= 2.29) [alpha, ia64, riscv64, sh4 以外]
- GNU C ライブラリ: 共有ライブラリ
以下のパッケージによって提供される仮想パッケージでもあります: libc6-udeb
- dep: libc6 (>= 2.33) [sh4]
- dep: libc6 (>= 2.34) [riscv64]
-
- dep: libc6.1 (>= 2.29) [alpha]
- GNU C ライブラリ: 共有ライブラリ
以下のパッケージによって提供される仮想パッケージでもあります: libc6.1-udeb
- dep: libc6.1 (>= 2.32) [ia64]
-
- dep: libffi8 (>= 3.4)
- Foreign Function Interface ランタイムライブラリ
-
- dep: libgmp10 (>= 2:6.2.1+dfsg) [riscv64, x32 以外]
- 多倍長精度演算ライブラリ
- dep: libgmp10 (>= 2:6.2.1+dfsg1) [riscv64]
-
- dep: libtinfo6 (>= 6)
- 端末を扱う低レベルの terminfo 共有ライブラリ
djinn のダウンロード
| アーキテクチャ | バージョン | パッケージサイズ | インストールサイズ | ファイル |
|---|---|---|---|---|
| alpha (非公式の移植版) | 2014.9.7-9+b2 | 2,635.9 kB | 24,749.0 kB | [ファイル一覧] |
| amd64 | 2014.9.7-9+b2 | 447.7 kB | 2,346.0 kB | [ファイル一覧] |
| arm64 | 2014.9.7-9+b2 | 577.8 kB | 3,004.0 kB | [ファイル一覧] |
| armel | 2014.9.7-9+b3 | 558.7 kB | 2,591.0 kB | [ファイル一覧] |
| armhf | 2014.9.7-9+b2 | 564.5 kB | 2,591.0 kB | [ファイル一覧] |
| hppa (非公式の移植版) | 2014.9.7-9+b2 | 2,271.2 kB | 23,771.0 kB | [ファイル一覧] |
| i386 | 2014.9.7-9+b2 | 455.8 kB | 1,934.0 kB | [ファイル一覧] |
| ia64 (非公式の移植版) | 2014.9.7-9+b2 | 3,321.9 kB | 78,011.0 kB | [ファイル一覧] |
| m68k (非公式の移植版) | 2014.9.7-9+b2 | 1,521.5 kB | 13,977.0 kB | [ファイル一覧] |
| mips64el | 2014.9.7-9+b2 | 2,483.5 kB | 25,176.0 kB | [ファイル一覧] |
| ppc64 (非公式の移植版) | 2014.9.7-9+b2 | 1,553.3 kB | 18,871.0 kB | [ファイル一覧] |
| ppc64el | 2014.9.7-9+b2 | 1,612.9 kB | 16,134.0 kB | [ファイル一覧] |
| riscv64 (非公式の移植版) | 2014.9.7-9+b4 | 2,454.2 kB | 31,852.0 kB | [ファイル一覧] |
| s390x | 2014.9.7-9+b2 | 3,293.7 kB | 23,130.0 kB | [ファイル一覧] |
| sh4 (非公式の移植版) | 2014.9.7-9+b2 | 1,745.0 kB | 16,204.0 kB | [ファイル一覧] |
| sparc64 (非公式の移植版) | 2014.9.7-9+b2 | 1,968.5 kB | 31,100.0 kB | [ファイル一覧] |
| x32 (非公式の移植版) | 2014.9.7-9+b2 | 4,353.3 kB | 16,962.0 kB | [ファイル一覧] |