From 05f3cde3e7924c9ffcc1937661b3cc290d89c11a Mon Sep 17 00:00:00 2001 From: Marvin Borner Date: Sat, 7 Sep 2024 17:53:27 +0200 Subject: Initial bootstrap --- inc/print.h | 12 ++++++++++++ 1 file changed, 12 insertions(+) create mode 100644 inc/print.h (limited to 'inc/print.h') 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 +// SPDX-License-Identifier: MIT + +#ifndef PRINT_H +#define PRINT_H + +#include + +void print_bruijn(Term *term); +void print_blc(Term *term); + +#endif -- cgit v1.2.3