公式政策と反統一政策の意味的差異

2 つの正式なポリシーのテキストの差分は、すべての表面的な変更にフラグを立て、動作を変更する変更を非表示にします。この投稿では、オープンソースのアンチユニフィケーション エンジンを使用して、シンボリックで決定論的なセマンティック差分を計算する方法を示します。

概要は情報提供のみを目的としてまとめられています。全文についてはソース リンクを参照してください。デモのエントリは一例です。