Pakiet: djinn (2014.9.7-9 i inne)

Odnośniki dla djinn

Zasoby systemu Debian:

Pobieranie pakietu źródłowego djinn:

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.

Znaczniki: Pakiet narzędziowy interfejsu: Ncurses (terminalowy)

Inne pakiety związane z djinn

wymaga

poleca

sugeruje

enhances

dep: libc6 (>= 2.29)

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

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

Biblioteka działań arytmetycznych z dużą dokładnością
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
i386	2014.9.7-9+b2	455,8 KiB	1 934,0 KiB	[lista plików]