From b31220aadc24ff137a4fe4bc39780ae63c58e11b Mon Sep 17 00:00:00 2001 From: Marvin Borner Date: Sat, 6 May 2023 20:19:23 +0200 Subject: Start fresh --- inc/term.h | 37 ------------------------------------- 1 file changed, 37 deletions(-) delete mode 100644 inc/term.h (limited to 'inc/term.h') diff --git a/inc/term.h b/inc/term.h deleted file mode 100644 index 4f6f5ce..0000000 --- a/inc/term.h +++ /dev/null @@ -1,37 +0,0 @@ -// Copyright (c) 2023, Marvin Borner - -#ifndef TERM_H -#define TERM_H - -typedef enum { INV, ABS, APP, VAR, CLOSURE, CACHE } term_type; - -struct term { - term_type type; - union { - struct { - int name; - struct term *term; - } abs; - struct { - struct term *lhs; - struct term *rhs; - } app; - struct { - int name; - enum { BARENDREGT_VARIABLE, BRUIJN_INDEX } type; - } var; - void *other; - } u; -}; - -void to_barendregt(struct term *term); -void to_bruijn(struct term *term); -struct term *new_term(term_type type); -struct term *duplicate_term(struct term *term); -int alpha_equivalency(struct term *a, struct term *b); -void free_term(struct term *term); -void print_term(struct term *term); -void print_blc(struct term *term); -void print_scheme(struct term *term); - -#endif -- cgit v1.2.3