从哪里获得工具
浏览 下载
文档
概述 编程工具集 ，在HCSS04上发布， 是对工具的最新描述。 它是一个扩展 的版本 演示摘要 来自2003年Haskell研讨会。 特征 总结了 工具的功能。 用法 描述了如何 使用工具。 安装 （如何从源代码编译为工具）。 许可证 （类似BSD）。 P-logic语法参考 . 屏幕截图 . 状态报告和其他演示文稿中的幻灯片 . 其他编程 研究论文 .
链接
不来梅大学的编程工具 . 显然，这些工具是在2004年用于教学的。 github上的一个分叉 .