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