From 5575fbc92dd3076f5ed3f44e6e041c6074a71fd1 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Mon, 29 May 2023 16:51:35 +0200
Subject: Started reducer

has some problems still
---
 inc/reduce.h | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 inc/reduce.h

(limited to 'inc/reduce.h')

diff --git a/inc/reduce.h b/inc/reduce.h
new file mode 100644
index 0000000..9856075
--- /dev/null
+++ b/inc/reduce.h
@@ -0,0 +1,11 @@
+// Copyright (c) 2023, Marvin Borner <dev@marvinborner.de>
+// SPDX-License-Identifier: MIT
+
+#ifndef CALM_REDUCE_H
+#define CALM_REDUCE_H
+
+#include <term.h>
+
+struct term *reduce(struct term *term);
+
+#endif
-- 
cgit v1.2.3