Package: djinn (2014.9.7-9 and others)

Links for djinn

Debian Resources:

Download Source Package djinn:

Maintainers:

External Resources:

Homepage [hackage.haskell.org]

Similar packages:

genera espressioni Haskell da tipi

Djinn usa un dimostratore di teoremi per logica proposizionale intuizionistica per generare un'espressione Haskell quando viene dato un tipo.

Dato un tipo, il programma dedurrà un'espressione di tale tipo, se ne esiste una. Se Djinn dice che il tipo non è realizzabile, è perché non c'è un'espressione (totale) del tipo dato.

Tags: Interface Toolkit: Ncurses TUI

Other Packages Related to djinn

depends

recommends

suggests

enhances

dep: libc6 (>= 2.29)

Libreria C GNU: librerie condivise
also a virtual package provided by libc6-udeb
dep: libffi8 (>= 3.4)

libreria eseguibile Foreign Function Interface
dep: libgmp10 (>= 2:6.2.1+dfsg)

libreria aritmetica a precisione multipla
dep: libtinfo6 (>= 6)

libreria condivisa di basso livello terminfo per la gestione del terminale

Download djinn

Download for all available architectures
Architecture	Version	Package Size	Installed Size	Files
arm64	2014.9.7-9+b2	577.8 kB	3,004.0 kB	[list of files]