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:
Opret Haskell-udtryk fra typer
Djinn bruger en teoribeviser for intuitionistisk udsagnslogik til at oprette et Haskell-udtryk, når det gives en type.
Givet en type vil programmet udlede et udtryk af denne type, hvis et sådant findes. Hvis Djinn siger at typen ikke er realiserbar, er det fordi der ikke er et (samlet) udtryk for den givne type.
Other Packages Related to djinn
|
|
|
|
-
- dep: libc6 (>= 2.29)
- GNU C-bibliotek: Delte biblioteker
also a virtual package provided by libc6-udeb
-
- dep: libffi8 (>= 3.4)
- Brugerflade for fremmed funktion - bibliotekskørselstid
-
- dep: libgmp10 (>= 2:6.2.1+dfsg)
- Bibliotek til multipræcision i aritmetik
-
- dep: libtinfo6 (>= 6)
- delt terminfo-bibliotek på lavt niveau for terminalhåndtering
Download djinn
Architecture | Version | Package Size | Installed Size | Files |
---|---|---|---|---|
hppa (unofficial port) | 2014.9.7-9+b2 | 2,271.2 kB | 23,771.0 kB | [list of files] |