diff options
Diffstat (limited to 'inc')
| -rw-r--r-- | inc/parse.h | 8 | ||||
| -rw-r--r-- | inc/term.h | 25 |
2 files changed, 33 insertions, 0 deletions
diff --git a/inc/parse.h b/inc/parse.h new file mode 100644 index 0000000..cfd9102 --- /dev/null +++ b/inc/parse.h @@ -0,0 +1,8 @@ +#ifndef PARSE_H +#define PARSE_H + +#include <term.h> + +struct term *parse(const char *term); + +#endif diff --git a/inc/term.h b/inc/term.h new file mode 100644 index 0000000..e750beb --- /dev/null +++ b/inc/term.h @@ -0,0 +1,25 @@ +#ifndef TERM_H +#define TERM_H + +typedef int bruijn; +typedef enum { INV, ABS, APP, VAR } term_type; + +struct term { + term_type type; + union { + struct { + struct term *term; + } abs; + struct { + struct term *lhs; + struct term *rhs; + } app; + bruijn var; + } u; +}; + +struct term *new_term(term_type type); +void print_term(struct term *term); +void free_term(struct term *term); + +#endif |