Pakiet: djinn (2014.9.7-9 i inne) [debports]

Odnośniki dla djinn

Zasoby systemu Debian:

Raporty o błędach

Pobieranie pakietu źródłowego :

Nie znaleziono

Opiekunowie:

Zasoby zewnętrzne:

Strona internetowa [hackage.haskell.org]

Podobne pakiety:

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.

Inne pakiety związane z djinn

wymaga

poleca

sugeruje

enhances

dep: libatomic1 (>= 4.8) [riscv64]

Biblioteka wsparcia zapewniająca wbudowane funkcje __atomic
dep: libc6 (>= 2.34) [riscv64]

Biblioteka GNU C: biblioteki współdzielone
również pakiet wirtualny udostępniany przez libc6-udeb
dep: libc6.1 (>= 2.32) [ia64]

Biblioteka GNU C: biblioteki współdzielone
również pakiet wirtualny udostępniany przez libc6.1-udeb
dep: libffi8 (>= 3.4)

Pliki biblioteki uruchomieniowej dla interfejsu funkcji obcych
dep: libgmp10 (>= 2:6.2.1+dfsg) [ia64]

Biblioteka działań arytmetycznych z dużą dokładnością

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

Współdzielona, niskopoziomowa biblioteka terminfo do obsługi terminala

Pobieranie djinn

Pobierz dla wszystkich dostępnych architektur
Architektura	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
ia64 (port nieoficjalny)	2014.9.7-9+b2	3 321,9 KiB	78 011,0 KiB	[lista plików]
riscv64 (port nieoficjalny)	2014.9.7-9+b4	2 454,2 KiB	31 852,0 KiB	[lista plików]