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:
generate Haskell expressions from types
Djinn uses a theorem prover for intuitionistic propositional logic to generate a Haskell expression when given a type.
Given a type the program will deduce an expression of this type, if one exists. If the Djinn says the type is not realizable it is because there is no (total) expression of the given type.
Other Packages Related to djinn
|
|
|
|
-
- dep: libatomic1 (>= 4.8)
- __atomic 내장 기능을 제공하는 지원 라이브러리
-
- dep: libc6 (>= 2.34)
- GNU C 라이브러리: 공유 라이브러리
also a virtual package provided by libc6-udeb
-
- dep: libffi8 (>= 3.4)
- 외부 함수 인터페이스 라이브러리 런타임
-
- dep: libgmp10 (>= 2:6.2.1+dfsg1)
- Multiprecision 연산 라이브러리
-
- dep: libtinfo6 (>= 6)
- 터미널 조작을 위한 저수준의 terminfo 공유 라이브러리
Download djinn
Architecture | Version | Package Size | Installed Size | Files |
---|---|---|---|---|
riscv64 (unofficial port) | 2014.9.7-9+b4 | 2,454.2 kB | 31,852.0 kB | [list of files] |