Paket: djinn (2014.9.7-9 ve diğerleri)

djinn için bağlantılar

Debian Kaynakları:

djinn Kaynak Paketini İndir:

Geliştiriciler:

Dış Kaynaklar:

Ana Sayfa [hackage.haskell.org]

Benzer paketler:

generate Haskell expressions from types

Djinn uses a theorem prover for intuitionistic propositional logic to generate a Haskell expression when given a type.

Given a type the program will deduce an expression of this type, if one exists. If the Djinn says the type is not realizable it is because there is no (total) expression of the given type.

Etiketler: Arayüz Araç Takımı: Ncurses TUI

djinn ile İlgili Diğer Paketler

bağımlılıklar

tavsiye edilen

önerilen

enhances

dep: libatomic1 (>= 4.8) [riscv64]

support library providing __atomic built-in functions
dep: libc6 (>= 2.29) [alpha, ia64, riscv64, sh4 değil]

GNU C Library: Shared libraries
ayrıca şunun tarafından sağlanan bir sanal paket libc6-udeb

dep: libc6 (>= 2.33) [sh4]

dep: libc6 (>= 2.34) [riscv64]
dep: libc6.1 (>= 2.29) [alpha]

GNU C Library: Shared libraries
ayrıca şunun tarafından sağlanan bir sanal paket libc6.1-udeb

dep: libc6.1 (>= 2.32) [ia64]
dep: libffi8 (>= 3.4)

Foreign Function Interface library runtime
dep: libgmp10 (>= 2:6.2.1+dfsg) [riscv64, x32 değil]

Multiprecision arithmetic library

dep: libgmp10 (>= 2:6.2.1+dfsg1) [riscv64]
dep: libtinfo6 (>= 6)

shared low-level terminfo library for terminal handling

djinn indir

Tüm mevcut mimariler için indir
Mimari	Sürüm	Paket Boyutu	Kurulu Boyut	Dosyalar
alpha (resmi olmayan port)	2014.9.7-9+b2	2.635,9 kB	24.749,0 kB	[dosya listesi]
amd64	2014.9.7-9+b2	447,7 kB	2.346,0 kB	[dosya listesi]
arm64	2014.9.7-9+b2	577,8 kB	3.004,0 kB	[dosya listesi]
armel	2014.9.7-9+b3	558,7 kB	2.591,0 kB	[dosya listesi]
armhf	2014.9.7-9+b2	564,5 kB	2.591,0 kB	[dosya listesi]
hppa (resmi olmayan port)	2014.9.7-9+b2	2.271,2 kB	23.771,0 kB	[dosya listesi]
i386	2014.9.7-9+b2	455,8 kB	1.934,0 kB	[dosya listesi]
ia64 (resmi olmayan port)	2014.9.7-9+b2	3.321,9 kB	78.011,0 kB	[dosya listesi]
m68k (resmi olmayan port)	2014.9.7-9+b2	1.521,5 kB	13.977,0 kB	[dosya listesi]
mips64el	2014.9.7-9+b2	2.483,5 kB	25.176,0 kB	[dosya listesi]
ppc64 (resmi olmayan port)	2014.9.7-9+b2	1.553,3 kB	18.871,0 kB	[dosya listesi]
ppc64el	2014.9.7-9+b2	1.612,9 kB	16.134,0 kB	[dosya listesi]
riscv64 (resmi olmayan port)	2014.9.7-9+b4	2.454,2 kB	31.852,0 kB	[dosya listesi]
s390x	2014.9.7-9+b2	3.293,7 kB	23.130,0 kB	[dosya listesi]
sh4 (resmi olmayan port)	2014.9.7-9+b2	1.745,0 kB	16.204,0 kB	[dosya listesi]
sparc64 (resmi olmayan port)	2014.9.7-9+b2	1.968,5 kB	31.100,0 kB	[dosya listesi]
x32 (resmi olmayan port)	2014.9.7-9+b2	4.353,3 kB	16.962,0 kB	[dosya listesi]