From 2a232f8f42c0a7d5a7b648358a192c21865a55f6 Mon Sep 17 00:00:00 2001
From: Kai Stevenson <kai@kaistevenson.com>
Date: Sat, 10 Jun 2023 23:45:25 -0700
Subject: lexing works

---
 proposition.h | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 proposition.h

(limited to 'proposition.h')

diff --git a/proposition.h b/proposition.h
new file mode 100644
index 0000000..5ffb009
--- /dev/null
+++ b/proposition.h
@@ -0,0 +1,13 @@
+#ifndef PROPOSITION
+#define PROPOSITION
+#include "lexer.h"
+typedef struct Proposition {
+	struct Proposition* propA;
+	struct Proposition* propB;
+	tokenType_t relation;
+	char isSimple;
+} prop_t;
+typedef struct Justification {
+	tokenType_t rule;
+} just_t;
+#endif
-- 
cgit v1.3.1