From 2328016214e236b9c6e7b5aeef60544c7b7ddc87 Mon Sep 17 00:00:00 2001
From: Kai Stevenson <kai@kaistevenson.com>
Date: Mon, 19 Jun 2023 00:03:17 -0700
Subject: added examples

---
 examples/operetta_example | 14 --------------
 1 file changed, 14 deletions(-)
 delete mode 100644 examples/operetta_example

(limited to 'examples')

diff --git a/examples/operetta_example b/examples/operetta_example
deleted file mode 100644
index c2cf2fc..0000000
--- a/examples/operetta_example
+++ /dev/null
@@ -1,14 +0,0 @@
-INPUT:
-A | pr
-C | pr
-	B | as
-	C ^ B | ^i 2, 3
-B->C^B | ->i 3, 4
-
-OUTPUT:
-1. A BECAUSE: PREMISE <SOUND> [0]
-2. C BECAUSE: PREMISE <SOUND> [0]
-3.  > B BECAUSE: ASSUMPTION <SOUND> [1]
-4.  > (C CONJUNCTION B) BECAUSE: CONJUNCTION INTRODUCTION 2 3 <SOUND> [1]
-5. (B IMPLICATION (C CONJUNCTION B)) BECAUSE: IMPLICATION INTRODUCTION 3 4 <SOUND> [0]
-
-- 
cgit v1.3.1