haskell - UHC 标尺入门

Question

我刚刚阅读了UHC 的 Ruler并想在我自己的项目中使用它。
但是，尝试从论文中编译有关它的示例会给我一堆语法错误消息。
是否有任何规则文件示例（可以使用 hackage - 0.4.0.0 的版本编译）开始？

Answer 1

github 存储库demo的和test文件夹中有示例标尺文件。

文件的全文tst4看起来像是一个很好的最小案例：

scheme Y =
  hole [ a: A, b: B  | | ]
  judgeshape tex a `=` b

rules y scheme Y "" =
  rule y =
    judge Y = a `=` b
    -
    judge Y = b `=` a