我刚读过UHC's Ruler,想在我自己的项目中使用它 但是,尝试从paper编译示例会给我一些语法错误消息 是否有任何规则文件的例子(可以用hackage的版本编译 - 0.4.0.0)开始?
答案 0 :(得分:0)
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