tüm seçenekler
[  buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Kaynak: haskell-djinn-lib  ]

Paket: libghc-djinn-lib-dev (0.0.1.4-2 ve diğerleri)

libghc-djinn-lib-dev için bağlantılar

Screenshot

Debian Kaynakları:

haskell-djinn-lib Kaynak Paketini İndir:

Geliştiriciler:

Dış Kaynaklar:

Benzer paketler:

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 ile İlgili Diğer Paketler

  • bağımlılıklar
  • tavsiye edilen
  • önerilen
  • enhances

libghc-djinn-lib-dev indir

Tüm mevcut mimariler için indir
Mimari Sürüm Paket Boyutu Kurulu Boyut Dosyalar
alpha (resmi olmayan port) 0.0.1.4-2+b1 294,5 kB3.129,0 kB [dosya listesi]
amd64 0.0.1.4-2+b1 186,6 kB1.404,0 kB [dosya listesi]
arm64 0.0.1.4-2+b1 183,9 kB1.803,0 kB [dosya listesi]
armel 0.0.1.4-2+b2 192,1 kB1.650,0 kB [dosya listesi]
armhf 0.0.1.4-2+b2 186,8 kB1.621,0 kB [dosya listesi]
hppa (resmi olmayan port) 0.0.1.4-2+b2 394,6 kB3.343,0 kB [dosya listesi]
i386 0.0.1.4-2+b1 329,4 kB2.123,0 kB [dosya listesi]
ia64 (resmi olmayan port) 0.0.1.4-2+b1 328,5 kB6.775,0 kB [dosya listesi]
m68k (resmi olmayan port) 0.0.1.4-1+b3 281,5 kB2.063,0 kB [dosya listesi]
mips64el 0.0.1.4-2+b1 271,2 kB3.086,0 kB [dosya listesi]
ppc64 (resmi olmayan port) 0.0.1.4-2+b1 251,1 kB3.166,0 kB [dosya listesi]
ppc64el 0.0.1.4-2+b1 263,5 kB2.794,0 kB [dosya listesi]
riscv64 0.0.1.4-2+b2 303,3 kB3.072,0 kB [dosya listesi]
s390x 0.0.1.4-2+b1 248,2 kB2.899,0 kB [dosya listesi]
sh4 (resmi olmayan port) 0.0.1.3-3 256,9 kB2.014,0 kB [dosya listesi]
sparc64 (resmi olmayan port) 0.0.1.4-2+b2 330,9 kB4.540,0 kB [dosya listesi]
x32 (resmi olmayan port) 0.0.1.4-1 346,7 kB2.345,0 kB [dosya listesi]