[ buster ]
[ bullseye ]
[ Kaynak: haskell-djinn-ghc ]
Paket: libghc-djinn-ghc-doc (0.0.2.3-10)
libghc-djinn-ghc-doc için bağlantılar
Debian Kaynakları:
- Hata Raporları
- Developer Information
- Debian Değişim Günlüğü
- Telif Hakkı Dosyası
- Debian Yama Takipçisi
haskell-djinn-ghc Kaynak Paketini İndir:
- [haskell-djinn-ghc_0.0.2.3-10.dsc]
- [haskell-djinn-ghc_0.0.2.3.orig.tar.gz]
- [haskell-djinn-ghc_0.0.2.3-10.debian.tar.xz]
Geliştiriciler:
Dış Kaynaklar:
- Ana Sayfa [hackage.haskell.org]
Benzer paketler:
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 ile İlgili Diğer Paketler
|
|
|
|
-
- dep: haddock-interface-35
- sanal paketi sağlayan ghc
-
- rec: libjs-mathjax
- JavaScript display engine for LaTeX and MathML
libghc-djinn-ghc-doc indir
| Mimari | Paket Boyutu | Kurulu Boyut | Dosyalar |
|---|---|---|---|
| all | 42,0 kB | 212,0 kB | [dosya listesi] |