From c964ff22469702d9d7f13bf1c12bcadcb1dc1afe Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Tue, 31 Jan 2023 09:02:07 +0100
Subject: Normalization

---
 inc/reducer.h | 8 ++++++++
 inc/term.h    | 7 +++++--
 2 files changed, 13 insertions(+), 2 deletions(-)
 create mode 100644 inc/reducer.h

(limited to 'inc')

diff --git a/inc/reducer.h b/inc/reducer.h
new file mode 100644
index 0000000..28fe8b1
--- /dev/null
+++ b/inc/reducer.h
@@ -0,0 +1,8 @@
+#ifndef REDUCER_H
+#define REDUCER_H
+
+#include <term.h>
+
+struct term *reduce(struct term *term);
+
+#endif
diff --git a/inc/term.h b/inc/term.h
index e750beb..9c7dbc9 100644
--- a/inc/term.h
+++ b/inc/term.h
@@ -1,20 +1,23 @@
 #ifndef TERM_H
 #define TERM_H
 
-typedef int bruijn;
 typedef enum { INV, ABS, APP, VAR } term_type;
 
 struct term {
 	term_type type;
 	union {
 		struct {
+			int name;
 			struct term *term;
 		} abs;
 		struct {
 			struct term *lhs;
 			struct term *rhs;
 		} app;
-		bruijn var;
+		struct {
+			int name;
+			enum { BRUIJN_INDEX, BARENDREGT_VARIABLE } type;
+		} var;
 	} u;
 };
 
-- 
cgit v1.2.3