1 files changed, 13 insertions, 0 deletions

diff --git a/fns.h b/fns.h
index e69de29..6878a24 100644
--- a/fns.h
+++ b/fns.h
@@ -0,0 +1,13 @@
+/* parser.c */
+void parse(int);
+
+/* prettyprint.c */
+Rune *prettyprint(Term *);
+
+/* misc.c */
+Term *appendterm(Term *, Term *);
+int termslength(Term *);
+Term *mkatom(Rune *);
+Term *mkvariable(Rune *);
+Term *mkcompound(Rune *, int, Term *);
+Term *mknumber(int, vlong, double);
\ No newline at end of file