[ 源代码: djinn ]
软件包:djinn(2014.9.7-9 以及其他的)
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.
其他与 djinn 有关的软件包
|
|
|
|
-
- dep: libatomic1 (>= 4.8)
- 提供 __atomic 内置函数的支持库
-
- dep: libc6 (>= 2.29)
- GNU C 语言运行库:共享库
同时作为一个虚包由这些包填实: libc6-udeb
-
- dep: libffi7 (>= 3.3~20180313)
- 外部函数接口库运行环境
-
- dep: libgmp10
- 多精度运算库
-
- dep: libtinfo6 (>= 6)
- 用于终端处理的共享底层 terminfo 库