From f32a19fee2a3016b6393272dc2c054ff02e63b7f Mon Sep 17 00:00:00 2001
From: Kai Stevenson <kai@kaistevenson.com>
Date: Tue, 13 Jun 2023 04:10:21 -0700
Subject: added scoping; probably doesn't work

---
 testfile2 | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'testfile2')

diff --git a/testfile2 b/testfile2
index c66aa88..7c3764f 100644
--- a/testfile2
+++ b/testfile2
@@ -1,3 +1,3 @@
-P^Q | pr
-L^V | pr
-(P^Q)^(L^V) | ^i 1, 2
+P | pr
+Q | pr
+P->Q | ->I 2, 1
-- 
cgit v1.3.1