Package: libghc-djinn-ghc-dev (0.0.2.3-9 and others)

Links for libghc-djinn-ghc-dev

Debian Resources:

Download Source Package haskell-djinn-ghc:

Maintainers:

External Resources:

Homepage [hackage.haskell.org]

Similar packages:

genera codice Haskell da un tipo (ponte verso l'API di GHC)

Djinn usa un dimostratore di teoremi per logica proposizionale intuizionista per generare un'espressione Haskell quando gli viene passato un tipo. Questo è il ponte da djinn-lib all'API di GHC.

Questo pacchetto fornisce una libreria per il linguaggio di programmazione Haskell. Per maggiori informazioni su Haskell si veda http://www.haskell.org/.

Other Packages Related to libghc-djinn-ghc-dev

depends

recommends

suggests

enhances

dep: libatomic1 (>= 4.8)

libreria ausiliaria che fornisce funzioni __atomic incorporate
dep: libc6 (>= 2.2.5)

Libreria C GNU: librerie condivise
also a virtual package provided by libc6-udeb
dep: libghc-async-dev-2.2.1-e4f49

virtual package provided by libghc-async-dev
dep: libghc-base-dev-4.11.1.0-5dd74

virtual package provided by ghc
dep: libghc-containers-dev-0.5.11.0-e0faa

virtual package provided by ghc
dep: libghc-djinn-lib-dev-0.0.1.3-ad2ca

virtual package provided by libghc-djinn-lib-dev
dep: libghc-ghc-dev-8.4.4-06393

virtual package provided by ghc
dep: libghc-mtl-dev-2.2.2-28a8b

virtual package provided by ghc
dep: libghc-transformers-dev-0.5.5.0-b5d2f

virtual package provided by ghc
dep: libgmp10

libreria aritmetica a precisione multipla
dep: libtinfo6 (>= 6)

libreria condivisa di basso livello terminfo per la gestione del terminale

sug: libghc-djinn-ghc-doc

genera codice Haskell da un tipo (ponte verso l'API di GHC); documentazione
sug: libghc-djinn-ghc-prof

genera codice Haskell da un tipo (ponte verso l'API di GHC); librerie di profilazione

Download libghc-djinn-ghc-dev

Download for all available architectures
Architecture	Version	Package Size	Installed Size	Files
amd64	0.0.2.3-9+b3	30.7 kB	172.0 kB	[list of files]