这是可以使用我们的多个免费在线工作站之一在 OnWorks 免费托管服务提供商中运行的命令 djinn，例如 Ubuntu Online、Fedora Online、Windows 在线模拟器或 MAC OS 在线模拟器
程序：
您的姓名
djinn - 从类型生成 Haskell 表达式
概要
吉金 [OPTION ... ] [文件 ... ]
商品描述
Djinn 使用定理证明器进行直觉命题逻辑生成 Haskell
给定类型时的表达式。
给定一个类型，程序将推导出这种类型的表达式，如果存在的话。 如果
Djinn 说这个类型是不可实现的，因为没有（完全）表达
给定类型。
配置
[-|+]multi 打印多个解决方案。
[-|+]sorted 排序解决方案。
[-|+]debug 调试模式。
使用 onworks.net 服务在线使用 djinn
