1 files changed, 3 insertions, 0 deletions

diff --git a/inc/term.h b/inc/term.h
index 855d9cf..6ce204b 100644
--- a/inc/term.h
+++ b/inc/term.h
@@ -24,6 +24,9 @@ struct term {
 
 struct term *new_term(term_type type);
 void print_term(struct term *term);
+void print_scheme(struct term *term);
 void free_term(struct term *term);
+void to_barendregt(struct term *term);
+void to_bruijn(struct term *term);
 
 #endif