Package: djinn (2014.9.7-9 and others) [debports]
Links for djinn
Debian Resources:
Download Source Package :
Not foundMaintainers:
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.
Other Packages Related to djinn
|
|
|
|
-
- dep: libatomic1 (>= 4.8) [riscv64]
- libreria ausiliaria che fornisce funzioni __atomic incorporate
-
- dep: libc6 (>= 2.34) [riscv64]
- Libreria C GNU: librerie condivise
also a virtual package provided by libc6-udeb
-
- dep: libc6.1 (>= 2.32) [ia64]
- Libreria C GNU: librerie condivise
also a virtual package provided by libc6.1-udeb
-
- dep: libffi8 (>= 3.4)
- libreria eseguibile Foreign Function Interface
-
- dep: libgmp10 (>= 2:6.2.1+dfsg) [ia64]
- libreria aritmetica a precisione multipla
- dep: libgmp10 (>= 2:6.2.1+dfsg1) [riscv64]
-
- dep: libtinfo6 (>= 6)
- libreria condivisa di basso livello terminfo per la gestione del terminale
Download djinn
| Architecture | Version | Package Size | Installed Size | Files |
|---|---|---|---|---|
| ia64 (unofficial port) | 2014.9.7-9+b2 | 3,321.9 kB | 78,011.0 kB | [list of files] |
| riscv64 (unofficial port) | 2014.9.7-9+b4 | 2,454.2 kB | 31,852.0 kB | [list of files] |