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

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

(limited to 'parse.h')

diff --git a/parse.h b/parse.h
new file mode 100644
index 0000000..0bfe06f
--- /dev/null
+++ b/parse.h
@@ -0,0 +1,13 @@
+#ifndef PARSE
+#define PARSE
+#include "proposition.h"
+typedef struct Line {
+	prop_t proposition;
+	just_t justification;
+} line_t;
+typedef struct LineSet {
+	line_t* lines;
+	int count;
+} lineSet_t;
+lineSet_t init_lineset(line_t* lines, int count);
+#endif
-- 
cgit v1.3.1