diff options
author | Marvin Borner | 2023-02-20 20:32:45 +0100 |
---|---|---|
committer | Marvin Borner | 2023-02-20 20:32:45 +0100 |
commit | d0b4cf4497d9dfdb0a5f5f973af25008f8b5c65f (patch) | |
tree | ba8ef2c7a8229cdf7fccde7d5b03fdac7f5d4b3b /inc/term.h | |
parent | 9906ba3585ce74c10d2fe9d6a991d6ea0ab99114 (diff) |
Added BLC parsing/printing
Diffstat (limited to 'inc/term.h')
-rw-r--r-- | inc/term.h | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -31,6 +31,7 @@ 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 |