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)

support library providing __atomic built-in functions
dep: libc6 (>= 2.29)

GNU C Library: Shared libraries
ayrıca şunun tarafından sağlanan bir sanal paket libc6-udeb
dep: libffi7 (>= 3.3~20180313)

Foreign Function Interface library runtime
dep: libgmp10

Multiprecision arithmetic library
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
armhf	2014.9.7-9+b1	561,7 kB	2.570,0 kB	[dosya listesi]