パッケージ: djinn (2014.9.7-9build4.1)
djinn に関するリンク
Trisquel の資源:
djinn ソースパッケージをダウンロード:
- [djinn_2014.9.7-9build4.1.dsc]
- [djinn_2014.9.7.orig.tar.gz]
- [djinn_2014.9.7-9build4.1.debian.tar.xz]
メンテナ:
Original Maintainers:
- Debian Haskell Group (メールアーカイブ)
- Joachim Breitner
外部の資源:
- ホームページ [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.34)
- GNU C Library: Shared libraries
以下のパッケージによって提供される仮想パッケージでもあります: libc6-udeb
-
- dep: libffi8 (>= 3.4)
- Foreign Function Interface library runtime
-
- dep: libgmp10
- Multiprecision arithmetic library
-
- dep: libtinfo6 (>= 6)
- shared low-level terminfo library for terminal handling