すべてのオプション
stretch  ] [  buster  ] [  sid  ]
[ ソース: haskell-djinn-lib  ]

パッケージ: libghc-djinn-lib-dev (0.0.1.3-3 など)

libghc-djinn-lib-dev に関するリンク

Screenshot

Debian の資源:

haskell-djinn-lib ソースパッケージをダウンロード:

メンテナ:

外部の資源:

類似のパッケージ:

Generate Haskell code from a type

Djinn-Lib uses an theorem prover for intuitionistic propositional logic to generate a Haskell expression when given a type. This is a library extracted from Djinn-Lib sources.

This package provides a library for the Haskell programming language. See http://www.haskell.org/ for more information on Haskell.

その他の libghc-djinn-lib-dev 関連パッケージ

  • 依存
  • 推奨
  • 提案
  • enhances

libghc-djinn-lib-dev のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ バージョン パッケージサイズ インストールサイズ ファイル
amd64 0.0.1.3-3+b2 186.0 kB1,460.0 kB [ファイル一覧]
arm64 0.0.1.3-3+b2 202.2 kB1,888.0 kB [ファイル一覧]
armel 0.0.1.3-3+b2 199.6 kB1,478.0 kB [ファイル一覧]
armhf 0.0.1.3-3+b2 199.5 kB1,478.0 kB [ファイル一覧]
i386 0.0.1.3-3+b2 184.9 kB1,153.0 kB [ファイル一覧]
mips 0.0.1.3-3+b2 226.7 kB2,149.0 kB [ファイル一覧]
mips64el 0.0.1.3-3+b2 247.0 kB2,865.0 kB [ファイル一覧]
mipsel 0.0.1.3-3+b2 230.0 kB2,149.0 kB [ファイル一覧]
ppc64el 0.0.1.3-3+b2 248.2 kB2,689.0 kB [ファイル一覧]
s390x 0.0.1.3-3+b2 257.0 kB2,691.0 kB [ファイル一覧]