use debruijn indexing

[lambda.git] / lambda.h

diff --git a/lambda.h b/lambda.h
index 3eaa247..54c23e3 100644 (file)
--- a/lambda.h
+++ b/lambda.h
@@ -13,11 +13,10 @@ struct lambda {
        union {
                struct {
                        char *ident;
-                       unsigned int revision;
+                       struct lambda *binding;
                } identifier;
                struct {
                        char *ident;
-                       unsigned int revision;
                        bool strict;
                        struct lambda *expr;
                } abstraction;
@@ -34,6 +33,7 @@ struct decllist {
        struct lambda *value;
 };
 
+struct lambda *make_lambda();
 struct lambda *make_ident(char *);
 struct lambda *make_abstraction(char *, bool, struct lambda *);
 struct lambda *make_application(struct lambda *, struct lambda *);