aboutsummaryrefslogtreecommitdiff
path: root/inc/reduce.h
diff options
context:
space:
mode:
authorMarvin Borner2023-05-29 16:51:35 +0200
committerMarvin Borner2023-05-29 16:51:35 +0200
commit5575fbc92dd3076f5ed3f44e6e041c6074a71fd1 (patch)
tree3d62c965d025ea11064debc3d9d109bc26958e50 /inc/reduce.h
parentf1dc637384f91bffe2342b8717c68b2f2cd2203e (diff)
Started reducer
has some problems still
Diffstat (limited to 'inc/reduce.h')
-rw-r--r--inc/reduce.h11
1 files changed, 11 insertions, 0 deletions
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