パッケージ: libghc-djinn-ghc-doc (0.0.2.3-10)

libghc-djinn-ghc-doc に関するリンク

Debian の資源:

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

メンテナ:

外部の資源:

ホームページ [hackage.haskell.org]

類似のパッケージ:

generate Haskell code from a type (bridge to GHC API); documentation

Djinn uses an theorem prover for intuitionistic propositional logic to generate a Haskell expression when given a type. This is the bridge from djinn-lib to GHC API.

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

その他の libghc-djinn-ghc-doc 関連パッケージ

依存

推奨

提案

enhances

dep: haddock-interface-35

以下のパッケージによって提供される仮想パッケージです: ghc

rec: libjs-mathjax

JavaScript display engine for LaTeX and MathML

libghc-djinn-ghc-doc のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ	パッケージサイズ	インストールサイズ	ファイル
all	42.0 kB	212.0 kB	[ファイル一覧]