diff options
author | Marvin Borner | 2023-01-31 09:02:07 +0100 |
---|---|---|
committer | Marvin Borner | 2023-01-31 09:02:07 +0100 |
commit | c964ff22469702d9d7f13bf1c12bcadcb1dc1afe (patch) | |
tree | 16c1fd43282810d6eb0af25abd13c829b3e6b017 /src/reducer.c | |
parent | 6e8596cc1a259169b173d617a0135daa8ae1cb45 (diff) |
Normalization
Diffstat (limited to 'src/reducer.c')
-rw-r--r-- | src/reducer.c | 6 |
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; +} |