From 0d13b807f00776ec0346dcadb6d9fc5d0c868a2f Mon Sep 17 00:00:00 2001
From: hi <hi>
Date: Tue, 12 Aug 2025 03:56:04 +0000
Subject: [PATCH] another L derivation example

---
 Logic/Language/Impl/L.hs | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/Logic/Language/Impl/L.hs b/Logic/Language/Impl/L.hs
index 6559e46..3b34950 100644
--- a/Logic/Language/Impl/L.hs
+++ b/Logic/Language/Impl/L.hs
@@ -151,3 +151,12 @@ deriveLExample1 = step5
     step3 = Infer2 0 0 step2 step1
     step4 = Axiom3 0 [Variable 0] [Variable 1] [Variable 2]
     step5 = Infer2 0 0 step4 step3
+
+deriveLExample2 :: Derivation AlphaL
+deriveLExample2 = step5
+  where
+    step1 = Axiom2 0 [Variable 0] [Open, Variable 0, Arrow, Variable 0, Close]
+    step2 = Axiom3 0 [Variable 0] [Open, Variable 0, Arrow, Variable 0, Close] [Variable 0]
+    step3 = Infer2 0 0 step2 step1
+    step4 = Axiom2 0 [Variable 0] [Variable 0]
+    step5 = Infer2 0 0 step3 step4