すべてのオプション
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 のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ バージョン パッケージサイズ インストールサイズ ファイル
alpha (非公式の移植版) 0.0.1.3-3+b1 272.4 kB2,944.0 kB [ファイル一覧]
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 [ファイル一覧]
hppa (非公式の移植版) 0.0.1.3-3+b3 360.3 kB3,172.0 kB [ファイル一覧]
i386 0.0.1.3-3+b2 184.9 kB1,153.0 kB [ファイル一覧]
m68k (非公式の移植版) 0.0.1.3-3+b2 284.8 kB2,158.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 [ファイル一覧]
powerpcspe (非公式の移植版) 0.0.1.3-1 260.9 kB2,320.0 kB [ファイル一覧]
ppc64 (非公式の移植版) 0.0.1.3-3+b2 233.8 kB3,041.0 kB [ファイル一覧]
ppc64el 0.0.1.3-3+b2 248.2 kB2,689.0 kB [ファイル一覧]
riscv64 (非公式の移植版) 0.0.1.3-3+b1 377.7 kB4,560.0 kB [ファイル一覧]
s390x 0.0.1.3-3+b2 257.0 kB2,691.0 kB [ファイル一覧]
sh4 (非公式の移植版) 0.0.1.3-1+b3 261.5 kB2,043.0 kB [ファイル一覧]
sparc64 (非公式の移植版) 0.0.1.3-3+b2 314.2 kB4,757.0 kB [ファイル一覧]
x32 (非公式の移植版) 0.0.1.3-3+b2 337.8 kB2,291.0 kB [ファイル一覧]