Sketch user-defined rule set YAML

objectionary · Jan 11, 2024 · ee89047 · ee89047
1 parent cb9d91b
commit ee89047
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/eo-phi-normalizer/test/eo/phi/rules/yegor.yaml b/eo-phi-normalizer/test/eo/phi/rules/yegor.yaml
@@ -0,0 +1,10 @@
+title: "Rule set based on Yegor's draft"
+rules:
+  - name: Rule 6
+    description: "Accessing an α-binding"
+    pattern: |
+      ⟦ ?a ↦ ?n, ?B ⟧.?a
+    result: |
+      ?n(ρ ↦ ?B)
+    when:
+      - nf: [ "?n" ]