literals

[lambda.git] / lambda.h

diff --git a/lambda.h b/lambda.h
index a1b2ff3..457e5cf 100644 (file)
--- a/lambda.h
+++ b/lambda.h
@@ -4,6 +4,7 @@
 #include <stdio.h>
 #include <string.h>
 #include <stdlib.h>
+#include <stdbool.h>
 
 enum lambda_which {lambda_ident, lambda_abs, lambda_app};
 struct lambda {
@@ -34,6 +35,8 @@ struct decllist {
 struct lambda *make_ident(char *);
 struct lambda *make_abstraction(char *, struct lambda *);
 struct lambda *make_application(struct lambda *, struct lambda *);
+struct lambda *make_numeral(unsigned int i);
+struct lambda *make_bool(bool b);
 void decls_free();
 void decls_print();
 #define YYSTYPE struct lambda *