[ Source: djinn ]
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.
Other Packages Related to djinn
|
|
|
|
-
- dep: libatomic1 (>= 4.8) [riscv64]
- libreria ausiliaria che fornisce funzioni __atomic incorporate
-
- dep: libc6 (>= 2.29) [not alpha, ia64, riscv64, sh4]
- Libreria C GNU: librerie condivise
also a virtual package provided by libc6-udeb
- dep: libc6 (>= 2.33) [sh4]
- dep: libc6 (>= 2.34) [riscv64]
-
- dep: libc6.1 (>= 2.29) [alpha]
- Libreria C GNU: librerie condivise
also a virtual package provided by libc6.1-udeb
- dep: libc6.1 (>= 2.32) [ia64]
-
- dep: libffi8 (>= 3.4)
- libreria eseguibile Foreign Function Interface
-
- dep: libgmp10 (>= 2:6.2.1+dfsg) [not riscv64, x32]
- 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 |
|---|---|---|---|---|
| alpha (unofficial port) | 2014.9.7-9+b2 | 2,635.9 kB | 24,749.0 kB | [list of files] |
| amd64 | 2014.9.7-9+b2 | 447.7 kB | 2,346.0 kB | [list of files] |
| arm64 | 2014.9.7-9+b2 | 577.8 kB | 3,004.0 kB | [list of files] |
| armel | 2014.9.7-9+b3 | 558.7 kB | 2,591.0 kB | [list of files] |
| armhf | 2014.9.7-9+b2 | 564.5 kB | 2,591.0 kB | [list of files] |
| hppa (unofficial port) | 2014.9.7-9+b2 | 2,271.2 kB | 23,771.0 kB | [list of files] |
| i386 | 2014.9.7-9+b2 | 455.8 kB | 1,934.0 kB | [list of files] |
| ia64 (unofficial port) | 2014.9.7-9+b2 | 3,321.9 kB | 78,011.0 kB | [list of files] |
| m68k (unofficial port) | 2014.9.7-9+b2 | 1,521.5 kB | 13,977.0 kB | [list of files] |
| mips64el | 2014.9.7-9+b2 | 2,483.5 kB | 25,176.0 kB | [list of files] |
| ppc64 (unofficial port) | 2014.9.7-9+b2 | 1,553.3 kB | 18,871.0 kB | [list of files] |
| ppc64el | 2014.9.7-9+b2 | 1,612.9 kB | 16,134.0 kB | [list of files] |
| riscv64 (unofficial port) | 2014.9.7-9+b4 | 2,454.2 kB | 31,852.0 kB | [list of files] |
| s390x | 2014.9.7-9+b2 | 3,293.7 kB | 23,130.0 kB | [list of files] |
| sh4 (unofficial port) | 2014.9.7-9+b2 | 1,745.0 kB | 16,204.0 kB | [list of files] |
| sparc64 (unofficial port) | 2014.9.7-9+b2 | 1,968.5 kB | 31,100.0 kB | [list of files] |
| x32 (unofficial port) | 2014.9.7-9+b2 | 4,353.3 kB | 16,962.0 kB | [list of files] |