diff options
| author | Marvin Borner | 2024-09-07 17:53:27 +0200 |
|---|---|---|
| committer | Marvin Borner | 2024-09-07 17:53:27 +0200 |
| commit | 05f3cde3e7924c9ffcc1937661b3cc290d89c11a (patch) | |
| tree | 54eb72746f488ab794ef39a6c42b4fbdea71e9a0 /inc/print.h | |
| parent | 0aacbcf63f585634c5d5561dfcf5d16f365027d6 (diff) | |
Initial bootstrap
Diffstat (limited to 'inc/print.h')
| -rw-r--r-- | inc/print.h | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/inc/print.h b/inc/print.h new file mode 100644 index 0000000..e2f7aa2 --- /dev/null +++ b/inc/print.h @@ -0,0 +1,12 @@ +// Copyright (c) 2024, Marvin Borner <dev@marvinborner.de> +// SPDX-License-Identifier: MIT + +#ifndef PRINT_H +#define PRINT_H + +#include <term.h> + +void print_bruijn(Term *term); +void print_blc(Term *term); + +#endif |