aboutsummaryrefslogtreecommitdiff
path: root/src/reducer.c
diff options
context:
space:
mode:
authorMarvin Borner2023-01-31 09:02:07 +0100
committerMarvin Borner2023-01-31 09:02:07 +0100
commitc964ff22469702d9d7f13bf1c12bcadcb1dc1afe (patch)
tree16c1fd43282810d6eb0af25abd13c829b3e6b017 /src/reducer.c
parent6e8596cc1a259169b173d617a0135daa8ae1cb45 (diff)
Normalization
Diffstat (limited to 'src/reducer.c')
-rw-r--r--src/reducer.c6
1 files changed, 6 insertions, 0 deletions
diff --git a/src/reducer.c b/src/reducer.c
new file mode 100644
index 0000000..e74946b
--- /dev/null
+++ b/src/reducer.c
@@ -0,0 +1,6 @@
+#include <reducer.h>
+
+struct term *reduce(struct term *term)
+{
+ return term;
+}