diff options
author | Marvin Borner | 2023-05-29 16:51:35 +0200 |
---|---|---|
committer | Marvin Borner | 2023-05-29 16:51:35 +0200 |
commit | 5575fbc92dd3076f5ed3f44e6e041c6074a71fd1 (patch) | |
tree | 3d62c965d025ea11064debc3d9d109bc26958e50 /inc/reduce.h | |
parent | f1dc637384f91bffe2342b8717c68b2f2cd2203e (diff) |
Started reducer
has some problems still
Diffstat (limited to 'inc/reduce.h')
-rw-r--r-- | inc/reduce.h | 11 |
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 |