[ 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:
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: libatomic1 (>= 4.8)
- Understøttelsesbibliotek der tilbyder __atomic indbyggede funktioner
-
- dep: libc6 (>= 2.29)
- GNU C-bibliotek: Delte biblioteker
also a virtual package provided by libc6-udeb
-
- dep: libffi7 (>= 3.3~20180313)
- Brugerflade for fremmed funktion - bibliotekskørselstid
-
- dep: libgmp10
- 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 |
---|---|---|---|---|
i386 | 2014.9.7-9+b1 | 456.1 kB | 1,925.0 kB | [list of files] |