test pass

objectionary · Dec 12, 2024 · 99aa605 · 99aa605
1 parent aac2b51
commit 99aa605
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/test/normalizer-tests/e-ald.phi b/src/test/normalizer-tests/e-ald.phi
@@ -0,0 +1,3 @@
+{⟦ k ↦ ⟦ x ↦ ∅ ⟧ ( α1 ↦ ⟦ Δ ⤍ 42- ⟧ ).x ⟧}
+
+{⟦ k ↦ ⊥ ⟧}