diff options
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 |