e12 back

objectionary · Dec 6, 2024 · d132478 · d132478
1 parent e89a174
commit d132478
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/test/normalizer-tests/_e-12.phi b/src/test/normalizer-tests/_e-12.phi
@@ -0,0 +1,3 @@
+{⟦ m ↦ ⟦ x ↦ ⟦ t ↦ ∅ ⟧ (t ↦ ξ.k), k ↦ ⟦ λ ⤍ Fn ⟧ ⟧.x.t.p ⟧}
+
+{⟦ m ↦ ⟦ λ ⤍ Fn, ρ ↦ ⟦ x ↦ ⟦ t ↦ ∅ ⟧ (t ↦ ξ.k), k ↦ ⟦ λ ⤍ Fn ⟧ ⟧ ⟧.p ⟧}